# 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.