Function extract_constraints

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