diff options
| author | Ralf Jung <post@ralfj.de> | 2024-06-22 16:26:30 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-06-22 17:39:01 +0200 |
| commit | 763e3131cc05d9d9b036ce991cc948aefe2cb8ff (patch) | |
| tree | b728a78071c34b87cfbe991699344f9f83bc206b /tests/ui/consts/const-eval | |
| parent | d03d6c0fead582c98c6446ec92456ca8fd03ff65 (diff) | |
| download | rust-763e3131cc05d9d9b036ce991cc948aefe2cb8ff.tar.gz rust-763e3131cc05d9d9b036ce991cc948aefe2cb8ff.zip | |
don't ICE when encountering an extern type field during validation
Diffstat (limited to 'tests/ui/consts/const-eval')
3 files changed, 25 insertions, 1 deletions
diff --git a/tests/ui/consts/const-eval/issue-91827-extern-types-field-offset.stderr b/tests/ui/consts/const-eval/issue-91827-extern-types-field-offset.stderr index 99f37fedd3d..54d45ee8ffb 100644 --- a/tests/ui/consts/const-eval/issue-91827-extern-types-field-offset.stderr +++ b/tests/ui/consts/const-eval/issue-91827-extern-types-field-offset.stderr @@ -2,7 +2,7 @@ error[E0080]: evaluation of constant value failed --> $DIR/issue-91827-extern-types-field-offset.rs:38:17 | LL | let field = &x.a; - | ^^^^ `extern type` does not have a known offset + | ^^^^ `extern type` field does not have a known offset error: aborting due to 1 previous error diff --git a/tests/ui/consts/const-eval/validation-ice-extern-type-field.rs b/tests/ui/consts/const-eval/validation-ice-extern-type-field.rs new file mode 100644 index 00000000000..3502409d576 --- /dev/null +++ b/tests/ui/consts/const-eval/validation-ice-extern-type-field.rs @@ -0,0 +1,15 @@ +#![feature(extern_types)] + +extern { + type Opaque; +} + +struct ThinDst { + x: u8, + tail: Opaque, +} + +const C1: &ThinDst = unsafe { std::mem::transmute(b"d".as_ptr()) }; +//~^ERROR: evaluation of constant value failed + +fn main() {} diff --git a/tests/ui/consts/const-eval/validation-ice-extern-type-field.stderr b/tests/ui/consts/const-eval/validation-ice-extern-type-field.stderr new file mode 100644 index 00000000000..1ec36abc2ec --- /dev/null +++ b/tests/ui/consts/const-eval/validation-ice-extern-type-field.stderr @@ -0,0 +1,9 @@ +error[E0080]: evaluation of constant value failed + --> $DIR/validation-ice-extern-type-field.rs:12:1 + | +LL | const C1: &ThinDst = unsafe { std::mem::transmute(b"d".as_ptr()) }; + | ^^^^^^^^^^^^^^^^^^ `extern type` field does not have a known offset + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0080`. |