## ensure_monomorphic_enough

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