Add regression test for issue 167

matklad · Jun 2, 2023 · a48ae40 · a48ae40
1 parent 6a072b8
commit a48ae40
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tests/it.rs b/tests/it.rs
@@ -299,6 +299,16 @@ mod unsync {
             cell.set(&s).unwrap();
         }
     }
+
+    #[test]
+    fn assert_lazy_is_covariant_in_the_ctor() {
+        #[allow(dead_code)]
+        type AnyLazy<'f, T> = Lazy<T, Box<dyn 'f + FnOnce() -> T>>;
+
+        fn _for<'short, T>(it: *const (AnyLazy<'static, T>,)) -> *const (AnyLazy<'short, T>,) {
+            it
+        }
+    }
 }
 
 #[cfg(any(feature = "std", feature = "critical-section"))]