rustc_middle::dep_graph::dep_constructor
pub fn predicates_of(_tcx: TyCtxt<'_>, arg: DefId) -> DepNode