get_trait_contracts_from_annotation

rapx::verify::target

Function get_trait_contracts_from_annotation 

Source 
fn get_trait_contracts_from_annotation<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
) -> Vec<(String, FnContracts<'tcx>)>
Expand description

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