diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/consts/enum-discr-type-err.rs | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/test/ui/consts/enum-discr-type-err.rs b/src/test/ui/consts/enum-discr-type-err.rs new file mode 100644 index 000000000..5adb2fa54 --- /dev/null +++ b/src/test/ui/consts/enum-discr-type-err.rs @@ -0,0 +1,30 @@ +// Test that we mark enum discriminant values as having errors, even when the +// diagnostic is deduplicated. + +struct F; +struct T; + +impl F { + const V: i32 = 0; +} + +impl T { + const V: i32 = 0; +} + +macro_rules! mac { + ($( $v: ident = $s: ident,)*) => { + enum E { + $( $v = $s::V, )* + //~^ ERROR mismatched types + //~| ERROR mismatched types + } + } +} + +mac! { + A = F, + B = T, +} + +fn main() {} |