summaryrefslogtreecommitdiffstats
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 d1bee676c..000000000
--- 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(&());
-}