get_contract_from_entry

rapx::verify::target

Function get_contract_from_entry 

Source 
fn get_contract_from_entry<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    contract_entries: &[PropertyEntry],
) -> FnContracts<'tcx>
Expand description

Builds contracts from backup JSON entries.

Each entry stores property-expression arguments that are passed directly into Property::new. The target information is resolved by Property itself from those arguments.