extract_constraints

Function extract_constraints 

Source
pub fn extract_constraints(fn_did: DefId, tcx: TyCtxt<'_>)