summaryrefslogtreecommitdiffstats
path: root/src/test/ui/associated-types/issue-31597.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/associated-types/issue-31597.rs')
-rw-r--r--src/test/ui/associated-types/issue-31597.rs29
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/associated-types/issue-31597.rs b/src/test/ui/associated-types/issue-31597.rs
deleted file mode 100644
index 2872be6d6..000000000
--- a/src/test/ui/associated-types/issue-31597.rs
+++ /dev/null
@@ -1,29 +0,0 @@
-// check-pass
-#![allow(dead_code)]
-trait Make {
- type Out;
-
- fn make() -> Self::Out;
-}
-
-impl Make for () {
- type Out = ();
-
- fn make() -> Self::Out {}
-}
-
-// Also make sure we don't hit an ICE when the projection can't be known
-fn f<T: Make>() -> <T as Make>::Out { loop {} }
-
-// ...and that it works with a blanket impl
-trait Tr {
- type Assoc;
-}
-
-impl<T: Make> Tr for T {
- type Assoc = ();
-}
-
-fn g<T: Make>() -> <T as Tr>::Assoc { }
-
-fn main() {}