Function rustc_mir::interpret::util::ensure_monomorphic_enough

pub(crate) fn ensure_monomorphic_enough<'tcx, T>(
    tcx: TyCtxt<'tcx>, 
    ty: T
) -> InterpResult<'tcx> where
    T: TypeFoldable<'tcx>, 

Returns true if a used generic parameter requires substitution.