Function rustc_const_eval::interpret::util::ensure_monomorphic_enough

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

Checks whether a type contains generic parameters which require substitution.

In case it does, returns a TooGeneric const eval error. Note that due to polymorphization types may be “concrete enough” even though they still contain generic parameters in case these parameters are unused.