rustc_trait_selection::traits::coherence

Function plug_infer_with_placeholders

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