rapx::analysis::core::api_dep::extract

Function extract_constraints

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