Function get_trait_contracts_from_annotation 

fn get_trait_contracts_from_annotation<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
) -> Vec<(String, Vec<Property<'tcx>>)>

Parses trait safety contracts from #[rapx::ensures(...)] on unsafe trait methods, grouped by method name.