Function has_struct_invariant 

pub fn has_struct_invariant(tcx: TyCtxt<'_>, struct_def_id: DefId) -> bool

Check if a struct has #[rapx::invariant(...)] annotations.

This is a cheap HIR attribute scan — it only checks for the presence of the attribute path, without parsing the annotation arguments.