I am not sure there is actually a piece of code that is incorrectly compiled since you cannot manually impl StructuralEq and StructuralPartialEq and you also cant derive(Eq, PartialEq) on a union. regardless there is currently no check that a manual impl ConstParamTy for MyType { is not applied to a union. There should be one to ensure that we do not accidentally allow usage of unions in const param tys.
Meta
rustc --version --verbose:
Nightly channel
Build using the Nightly version: 1.72.0-nightly
(2023-05-29 498553fc04f6a3fdc534)
Backtrace
I am not sure there is actually a piece of code that is incorrectly compiled since you cannot manually impl
StructuralEqandStructuralPartialEqand you also cantderive(Eq, PartialEq)on a union. regardless there is currently no check that a manualimpl ConstParamTy for MyType {is not applied to a union. There should be one to ensure that we do not accidentally allow usage of unions in const param tys.Meta
rustc --version --verbose:Backtrace