about summary refs log tree commit diff
path: root/src/test/ui/methods/method-trait-object-with-hrtb.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/methods/method-trait-object-with-hrtb.rs')
-rw-r--r--src/test/ui/methods/method-trait-object-with-hrtb.rs41
1 files changed, 0 insertions, 41 deletions
diff --git a/src/test/ui/methods/method-trait-object-with-hrtb.rs b/src/test/ui/methods/method-trait-object-with-hrtb.rs
deleted file mode 100644
index d1bee676c2f..00000000000
--- a/src/test/ui/methods/method-trait-object-with-hrtb.rs
+++ /dev/null
@@ -1,41 +0,0 @@
-// build-pass (FIXME(62277): could be check-pass?)
-
-// Check that method probing ObjectCandidate works in the presence of
-// auto traits and/or HRTBs.
-
-mod internal {
-    pub trait MyObject<'a> {
-        type Output;
-
-        fn foo(&self) -> Self::Output;
-    }
-
-    impl<'a> MyObject<'a> for () {
-        type Output = &'a u32;
-
-        fn foo(&self) -> Self::Output { &4 }
-    }
-}
-
-fn t1(d: &dyn for<'a> internal::MyObject<'a, Output=&'a u32>) {
-    d.foo();
-}
-
-fn t2(d: &dyn internal::MyObject<'static, Output=&'static u32>) {
-    d.foo();
-}
-
-fn t3(d: &(dyn for<'a> internal::MyObject<'a, Output=&'a u32> + Sync)) {
-    d.foo();
-}
-
-fn t4(d: &(dyn internal::MyObject<'static, Output=&'static u32> + Sync)) {
-    d.foo();
-}
-
-fn main() {
-    t1(&());
-    t2(&());
-    t3(&());
-    t4(&());
-}