fn build_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
sig_id: DefId,
parent: Option<DefId>,
inh_kind: InheritanceKind,
args: GenericArgsRef<'tcx>,
) -> GenericPredicates<'tcx>
fn build_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
sig_id: DefId,
parent: Option<DefId>,
inh_kind: InheritanceKind,
args: GenericArgsRef<'tcx>,
) -> GenericPredicates<'tcx>