fn extract_tamed_field<'tcx>(tcx: TyCtxt<'tcx>, def_id: DefId) -> Option<String>Expand description
The raw-pointer field name a struct declares via #[rapx::invariant(Allocated(field))]
or #[rapx::invariant(Owning(field))], used to bind a TamedRawPtr compound’s
Ptr parameter.