fn get_struct_invariants_from_annotation<'tcx>(
tcx: TyCtxt<'tcx>,
struct_def_id: DefId,
context_def_id: DefId,
) -> StructInvariants<'tcx>Expand description
Parses struct invariants from source-level RAPx annotations attached to a struct definition.