Define a struct-level #[safety_constraint(...)] attribute

Define a struct-level #[safety_constraint(...)] attribute #7542