Function rustc_trait_selection::traits::coherence::plug_infer_with_placeholders

fn plug_infer_with_placeholders<'tcx>(
    infcx: &InferCtxt<'tcx>,
    universe: UniverseIndex,
    value: impl TypeVisitable<TyCtxt<'tcx>>
)