There were two places in the code where repr(transparent) enums ought to have been treated specially, but weren't:
In the ConstEnum case for transConstVal.
In the AdtAg case of transRval, which handles enum variant assignments.
I've now added the appropriate special-casing and added a conc_eval/enum/repr_transparent.rs test case in the crux-mir test suite to ensure that it works as expected.
There were two places in the code where
repr(transparent)enums ought to have been treated specially, but weren't:ConstEnumcase fortransConstVal.AdtAgcase oftransRval, which handles enum variant assignments.I've now added the appropriate special-casing and added a
conc_eval/enum/repr_transparent.rstest case in thecrux-mirtest suite to ensure that it works as expected.Fixes #1140.