summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs')
-rw-r--r--src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs b/src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs
deleted file mode 100644
index 216d29c7c..000000000
--- a/src/test/ui/const-generics/inhabited-assoc-ty-ice-2.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-// run-pass
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-// This tests that the inhabited check doesn't cause
-// ICEs by trying to evaluate `T::ASSOC` with an incorrect `ParamEnv`.
-
-trait Foo {
- const ASSOC: usize = 1;
-}
-
-#[allow(unused_tuple_struct_fields)]
-struct Iced<T: Foo>(T, [(); T::ASSOC])
-where
- [(); T::ASSOC]: ;
-
-impl Foo for u32 {}
-
-fn main() {
- let _iced: Iced<u32> = return;
-}