Bless (and add) some tests

Author: BoxyUwU

tests/crashes/127643.rs

@@ -0,0 +1,20 @@
+#![feature(associated_const_equality)]
+
+trait Owner<K> {
+    const C: K;
+}
+impl<K: ConstDefault> Owner<K> for () {
+    const C: K = K::DEFAULT;
+}
+
+trait ConstDefault {
+    const DEFAULT: Self;
+}
+
+fn user() -> impl Owner<dyn Sized, C = 0> {}
+//~^ ERROR: the trait bound `(dyn Sized + 'static): ConstDefault` is not satisfied
+//~| ERROR: the size for values of type `(dyn Sized + 'static)` cannot be known at compilation time
+//~| ERROR: the trait `Sized` is not dyn compatible
+//~| ERROR: mismatched types
+
+fn main() {}

tests/crashes/131046.rs

@@ -0,0 +1,58 @@
+error[E0277]: the trait bound `(dyn Sized + 'static): ConstDefault` is not satisfied
+  --> $DIR/wf_before_evaluate-2.rs:14:14
+   |
+LL | fn user() -> impl Owner<dyn Sized, C = 0> {}
+   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `ConstDefault` is not implemented for `(dyn Sized + 'static)`
+   |
+help: this trait has no implementations, consider adding one
+  --> $DIR/wf_before_evaluate-2.rs:10:1
+   |
+LL | trait ConstDefault {
+   | ^^^^^^^^^^^^^^^^^^
+note: required for `()` to implement `Owner<(dyn Sized + 'static)>`
+  --> $DIR/wf_before_evaluate-2.rs:6:23
+   |
+LL | impl<K: ConstDefault> Owner<K> for () {
+   |         ------------  ^^^^^^^^     ^^
+   |         |
+   |         unsatisfied trait bound introduced here
+
+error[E0277]: the size for values of type `(dyn Sized + 'static)` cannot be known at compilation time
+  --> $DIR/wf_before_evaluate-2.rs:14:14
+   |
+LL | fn user() -> impl Owner<dyn Sized, C = 0> {}
+   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
+   |
+   = help: the trait `Sized` is not implemented for `(dyn Sized + 'static)`
+   = help: the trait `Owner<K>` is implemented for `()`
+note: required for `()` to implement `Owner<(dyn Sized + 'static)>`
+  --> $DIR/wf_before_evaluate-2.rs:6:23
+   |
+LL | impl<K: ConstDefault> Owner<K> for () {
+   |      -                ^^^^^^^^     ^^
+   |      |
+   |      unsatisfied trait bound introduced here
+
+error[E0038]: the trait `Sized` is not dyn compatible
+  --> $DIR/wf_before_evaluate-2.rs:14:40
+   |
+LL | fn user() -> impl Owner<dyn Sized, C = 0> {}
+   |                                        ^ `Sized` is not dyn compatible
+   |
+   = note: the trait is not dyn compatible because it requires `Self: Sized`
+   = note: for a trait to be dyn compatible it needs to allow building a vtable
+           for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
+
+error[E0308]: mismatched types
+  --> $DIR/wf_before_evaluate-2.rs:14:40
+   |
+LL | fn user() -> impl Owner<dyn Sized, C = 0> {}
+   |                                        ^ expected `dyn Sized`, found integer
+   |
+   = note: expected trait object `(dyn Sized + 'static)`
+                      found type `{integer}`
+
+error: aborting due to 4 previous errors
+
+Some errors have detailed explanations: E0038, E0277, E0308.
+For more information about an error, try `rustc --explain E0038`.

tests/crashes/131406.rs

@@ -0,0 +1,24 @@
+#![feature(associated_const_equality, generic_const_items)]
+#![expect(incomplete_features)]
+
+// When we type check `main` we wind up having to prove `<() as Trait>::C<128_u64> = 128_u64`
+// doing this requires normalizing `<() as Trait>::C<128_u64>`. Previously we did not check
+// that consts are well formed before evaluating them (rust-lang/project-const-generics#37) so
+// in attempting to get the normalized form of `<() as Trait>::C<128_u64>` we would invoke the
+// ctfe machinery on a not-wf type system constant.
+
+trait Trait {
+    const C<const N: u32>: u32;
+}
+
+impl Trait for () {
+    const C<const N: u32>: u32 = N;
+}
+
+fn ice<const N: u64, T: Trait<C<N> = { N }>>(_: T) {}
+//~^ ERROR: the constant `N` is not of type `u32`
+
+fn main() {
+    ice::<128, _>(());
+    //~^ ERROR: type mismatch resolving `<() as Trait>::C<128> == 128`
+}

tests/crashes/133066.rs

@@ -0,0 +1,31 @@
+error: the constant `N` is not of type `u32`
+  --> $DIR/wf_before_evaluate.rs:18:31
+   |
+LL | fn ice<const N: u64, T: Trait<C<N> = { N }>>(_: T) {}
+   |                               ^^^^^^^^^^^^ expected `u32`, found `u64`
+   |
+note: required by a const generic parameter in `Trait::C`
+  --> $DIR/wf_before_evaluate.rs:11:13
+   |
+LL |     const C<const N: u32>: u32;
+   |             ^^^^^^^^^^^^ required by this const generic parameter in `Trait::C`
+
+error[E0271]: type mismatch resolving `<() as Trait>::C<128> == 128`
+  --> $DIR/wf_before_evaluate.rs:22:19
+   |
+LL |     ice::<128, _>(());
+   |     ------------- ^^ expected `128`, found `<() as Trait>::C::<128>`
+   |     |
+   |     required by a bound introduced by this call
+   |
+   = note: expected constant `128`
+              found constant `<() as Trait>::C::<128>`
+note: required by a bound in `ice`
+  --> $DIR/wf_before_evaluate.rs:18:31
+   |
+LL | fn ice<const N: u64, T: Trait<C<N> = { N }>>(_: T) {}
+   |                               ^^^^^^^^^^^^ required by this bound in `ice`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0271`.

tests/crashes/133199.rs

@@ -23,6 +23,9 @@ where
     for<'a> (): Unimplemented<'a>,
 {
     let _a: [(); 1] = [(); <u8 as Trait<()>>::ASSOC];
+    //~^ WARN: cannot use constants which depend on trivially-false where clauses
+    //~| WARN: this was previously accepted by the compiler
+    //~^^^ ERROR: mismatched types
 }
 
 struct Foo<const N: usize>;