internal CopyAbstractValue WithEntityRemoved(AnalysisEntity entityToRemove) { Debug.Assert(AnalysisEntities.Contains(entityToRemove)); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind.IsKnown()); return(new CopyAbstractValue(AnalysisEntities.Remove(entityToRemove), Kind)); }
public CopyAbstractValue WithEntityRemoved(AnalysisEntity entityToRemove) { Debug.Assert(AnalysisEntities.Contains(entityToRemove)); Debug.Assert(AnalysisEntities.Count > 1); Debug.Assert(Kind == CopyAbstractValueKind.Known); return(new CopyAbstractValue(AnalysisEntities.Remove(entityToRemove))); }