Enable an #[safety_constraint(...)]
attribute helper for the Arbitrary
and Invariant
macros
#7422
Loading