rustc_const_eval::interpret::util

Function ensure_monomorphic_enough

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

Checks whether a type contains generic parameters which must be instantiated.

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.