summaryrefslogtreecommitdiff
path: root/tests/ui/associated-inherent-types/bugs/ice-substitution.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/associated-inherent-types/bugs/ice-substitution.rs')
-rw-r--r--tests/ui/associated-inherent-types/bugs/ice-substitution.rs23
1 files changed, 0 insertions, 23 deletions
diff --git a/tests/ui/associated-inherent-types/bugs/ice-substitution.rs b/tests/ui/associated-inherent-types/bugs/ice-substitution.rs
deleted file mode 100644
index 53ac79e0561..00000000000
--- a/tests/ui/associated-inherent-types/bugs/ice-substitution.rs
+++ /dev/null
@@ -1,23 +0,0 @@
-// known-bug: unknown
-// failure-status: 101
-// normalize-stderr-test "note: .*\n\n" -> ""
-// normalize-stderr-test "thread 'rustc' panicked.*\n" -> ""
-// rustc-env:RUST_BACKTRACE=0
-
-// FIXME: I presume a type variable that couldn't be solved by `resolve_vars_if_possible`
-// escapes the InferCtxt snapshot.
-
-#![feature(inherent_associated_types)]
-#![allow(incomplete_features)]
-
-struct Cont<T>(T);
-
-impl<T: Copy> Cont<T> {
- type Out = Vec<T>;
-}
-
-pub fn weird<T: Copy>(x: T) {
- let _: Cont<_>::Out = vec![true];
-}
-
-fn main() {}