summaryrefslogtreecommitdiffstats
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 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();
-}