Function rustc_const_eval::interpret::util::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.