diff options
Diffstat (limited to 'src/test/ui/issues/issue-73229.rs')
-rw-r--r-- | src/test/ui/issues/issue-73229.rs | 33 |
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 35346199a..000000000 --- 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(); -} |