diff options
| author | Michael Goulet <michael@errs.io> | 2025-02-21 19:22:08 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-03-03 23:09:42 +0000 |
| commit | 0baee2432a435fc587d458b7f7d0c19d7c239589 (patch) | |
| tree | 80b0cb465ea1dd0187cd0a30780a0ed116a84745 /tests/ui/wf | |
| parent | 9d3d5a7fbb9d28d91e2d19d2b0bf5bc5af5b038c (diff) | |
| download | rust-0baee2432a435fc587d458b7f7d0c19d7c239589.tar.gz rust-0baee2432a435fc587d458b7f7d0c19d7c239589.zip | |
Don't typeck during WF, instead check outside of WF in check_crate
Diffstat (limited to 'tests/ui/wf')
| -rw-r--r-- | tests/ui/wf/wf-normalization-sized.next.stderr | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/tests/ui/wf/wf-normalization-sized.next.stderr b/tests/ui/wf/wf-normalization-sized.next.stderr index 83b56bb6b19..66c4f214415 100644 --- a/tests/ui/wf/wf-normalization-sized.next.stderr +++ b/tests/ui/wf/wf-normalization-sized.next.stderr @@ -7,16 +7,6 @@ LL | const _: <[[[[[[u8]]]]]] as WellUnformed>::RequestNormalize = (); = help: the trait `Sized` is not implemented for `[[[[[u8]]]]]` = note: slice and array elements must have `Sized` type -error[E0277]: the size for values of type `[[[[[u8]]]]]` cannot be known at compilation time - --> $DIR/wf-normalization-sized.rs:19:11 - | -LL | const _: <[[[[[[u8]]]]]] as WellUnformed>::RequestNormalize = (); - | ^^^^^^^^^^^^^^ doesn't have a size known at compile-time - | - = help: the trait `Sized` is not implemented for `[[[[[u8]]]]]` - = note: slice and array elements must have `Sized` type - = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` - error[E0277]: the size for values of type `str` cannot be known at compilation time --> $DIR/wf-normalization-sized.rs:22:11 | @@ -27,6 +17,16 @@ LL | const _: <Vec<str> as WellUnformed>::RequestNormalize = (); note: required by an implicit `Sized` bound in `Vec` --> $SRC_DIR/alloc/src/vec/mod.rs:LL:COL +error[E0277]: the size for values of type `[[[[[u8]]]]]` cannot be known at compilation time + --> $DIR/wf-normalization-sized.rs:19:11 + | +LL | const _: <[[[[[[u8]]]]]] as WellUnformed>::RequestNormalize = (); + | ^^^^^^^^^^^^^^ doesn't have a size known at compile-time + | + = help: the trait `Sized` is not implemented for `[[[[[u8]]]]]` + = note: slice and array elements must have `Sized` type + = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no` + error[E0277]: the size for values of type `str` cannot be known at compilation time --> $DIR/wf-normalization-sized.rs:22:11 | |