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

Returns true if a used generic parameter requires substitution.