Don't build `ParamEnv` and do trait solving in `ItemCtxt`s

3 files changed, 6 insertions, 39 deletions

diff --git a/tests/crashes/125879.rs b/tests/crashes/125879.rs
deleted file mode 100644
index 4318842e455..00000000000
--- a/tests/crashes/125879.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-//@ known-bug: rust-lang/rust#125879
-#![feature(inherent_associated_types)]
-#![allow(incomplete_features)]
-
-pub type PubAlias0 = PubTy::PrivAssocTy;
-
-pub struct PubTy;
-impl PubTy {
-    type PrivAssocTy = ();
-}
-
-pub struct S(pub PubAlias0);
-
-pub unsafe fn foo(a: S) -> S {
-    a
-}
-
-fn main() {}
diff --git a/tests/crashes/136678.rs b/tests/crashes/136678.rs
deleted file mode 100644
index e7d7de23bfe..00000000000
--- a/tests/crashes/136678.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-//@ known-bug: #136678
-#![feature(inherent_associated_types)]
-#![feature(generic_const_exprs)]
-#![allow(incomplete_features)]
-
-struct B<const A: usize>;
-
-struct Test<const A: usize>;
-
-impl<const A: usize> Test<A> {
-    type B = B<{ A }>;
-
-    fn test(a: Self::B) -> Self::B {
-        a
-    }
-}
-
-pub fn main() {}
diff --git a/tests/crashes/138131.rs b/tests/crashes/138131.rs
index f400c02de8d..d0f91b74840 100644
--- a/tests/crashes/138131.rs
+++ b/tests/crashes/138131.rs
@@ -1,12 +1,15 @@
 //@ known-bug: #138131
-#![feature(min_generic_const_args)]
-#![feature(inherent_associated_types)]
+
+#![feature(min_generic_const_args, generic_const_items)]
+
+const BAR<'a>: usize = 10;
+
 struct Foo<'a> {
     x: &'a (),
 }
 
 impl<'a> Foo<'a> {
-    fn foo(_: [u8; Foo::X]) {}
+    fn foo(_: [u8; BAR]) {}
 }
 
 fn main() {}