about summary refs log tree commit diff
path: root/src/test/ui/issues/issue-73229.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-73229.rs')
-rw-r--r--src/test/ui/issues/issue-73229.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/issues/issue-73229.rs b/src/test/ui/issues/issue-73229.rs
deleted file mode 100644
index 35346199add..00000000000
--- a/src/test/ui/issues/issue-73229.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// check-pass
-
-fn any<T>() -> T {
-    loop {}
-}
-
-trait Foo {
-    type V;
-}
-
-trait Callback<T: Foo>: Fn(&T, &T::V) {}
-impl<T: Foo, F: Fn(&T, &T::V)> Callback<T> for F {}
-
-struct Bar<T: Foo> {
-    callback: Box<dyn Callback<T>>,
-}
-
-impl<T: Foo> Bar<T> {
-    fn event(&self) {
-        (self.callback)(any(), any());
-    }
-}
-
-struct A;
-struct B;
-impl Foo for A {
-    type V = B;
-}
-
-fn main() {
-    let foo = Bar::<A> { callback: Box::new(|_: &A, _: &B| ()) };
-    foo.event();
-}