fix ice-6252

ChrisDenton · ChrisDenton · commit fcbcdd46f7fd · 2024-05-14T09:57:10.000Z
diff --git a/src/tools/clippy/tests/ui/crashes/ice-6252.rs b/src/tools/clippy/tests/ui/crashes/ice-6252.rs
@@ -1,6 +1,7 @@
 // originally from glacier fixed/77919.rs
 // encountered errors resolving bounds after type-checking
 //@no-rustfix
+#![no_implicit_prelude]
 trait TypeVal<T> {
     const VAL: T;
 }
diff --git a/src/tools/clippy/tests/ui/crashes/ice-6252.stderr b/src/tools/clippy/tests/ui/crashes/ice-6252.stderr
@@ -1,5 +1,5 @@
 error[E0412]: cannot find type `PhantomData` in this scope
-  --> tests/ui/crashes/ice-6252.rs:9:9
+  --> tests/ui/crashes/ice-6252.rs:10:9
    |
 LL |     _n: PhantomData,
    |         ^^^^^^^^^^^ not found in this scope
@@ -12,7 +12,7 @@ LL + use std::marker::PhantomData;
    |
 
 error[E0412]: cannot find type `VAL` in this scope
-  --> tests/ui/crashes/ice-6252.rs:11:63
+  --> tests/ui/crashes/ice-6252.rs:12:63
    |
 LL | impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
    |                                                               ^^^ not found in this scope
@@ -23,7 +23,7 @@ LL | impl<N, M, VAL> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}
    |          +++++
 
 error[E0046]: not all trait items implemented, missing: `VAL`
-  --> tests/ui/crashes/ice-6252.rs:11:1
+  --> tests/ui/crashes/ice-6252.rs:12:1
    |
 LL |     const VAL: T;
    |     ------------ `VAL` from trait

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,7 @@`
`1`	`1`	`// originally from glacier fixed/77919.rs`
`2`	`2`	`// encountered errors resolving bounds after type-checking`
`3`	`3`	`//@no-rustfix`
	`4`	`+#![no_implicit_prelude]`
`4`	`5`	`trait TypeVal<T> {`
`5`	`6`	`const VAL: T;`
`6`	`7`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0412]: cannot find type `PhantomData` in this scope
`2`		`- --> tests/ui/crashes/ice-6252.rs:9:9`
	`2`	`+ --> tests/ui/crashes/ice-6252.rs:10:9`
`3`	`3`	`\|`
`4`	`4`	`LL \| _n: PhantomData,`
`5`	`5`	`\| ^^^^^^^^^^^ not found in this scope`
`@@ -12,7 +12,7 @@ LL + use std::marker::PhantomData;`
`12`	`12`	`\|`
`13`	`13`
`14`	`14`	error[E0412]: cannot find type `VAL` in this scope
`15`		`- --> tests/ui/crashes/ice-6252.rs:11:63`
	`15`	`+ --> tests/ui/crashes/ice-6252.rs:12:63`
`16`	`16`	`\|`
`17`	`17`	`LL \| impl<N, M> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}`
`18`	`18`	`\| ^^^ not found in this scope`
`@@ -23,7 +23,7 @@ LL \| impl<N, M, VAL> TypeVal<usize> for Multiply<N, M> where N: TypeVal<VAL> {}`
`23`	`23`	`\| +++++`
`24`	`24`
`25`	`25`	error[E0046]: not all trait items implemented, missing: `VAL`
`26`		`- --> tests/ui/crashes/ice-6252.rs:11:1`
	`26`	`+ --> tests/ui/crashes/ice-6252.rs:12:1`
`27`	`27`	`\|`
`28`	`28`	`LL \| const VAL: T;`
`29`	`29`	\| ------------ `VAL` from trait