Function rustc_trait_selection::traits::coherence::plug_infer_with_placeholders

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