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.