private PointerTypeSymbol SubstitutePointerType(PointerTypeSymbol t) { var oldPointedAtType = new TypeWithModifiers(t.PointedAtType, t.CustomModifiers); TypeWithModifiers pointedAtType = oldPointedAtType.SubstituteTypeWithTupleUnification(this); if (pointedAtType == oldPointedAtType) { return(t); } return(new PointerTypeSymbol(pointedAtType.Type, pointedAtType.CustomModifiers)); }
private ArrayTypeSymbol SubstituteArrayType(ArrayTypeSymbol t) { var oldElement = new TypeWithModifiers(t.ElementType, t.CustomModifiers); TypeWithModifiers element = oldElement.SubstituteTypeWithTupleUnification(this); if (element == oldElement) { return(t); } if (t.IsSZArray) { ImmutableArray <NamedTypeSymbol> interfaces = t.InterfacesNoUseSiteDiagnostics(); Debug.Assert(0 <= interfaces.Length && interfaces.Length <= 2); if (interfaces.Length == 1) { Debug.Assert(interfaces[0] is NamedTypeSymbol); // IList<T> interfaces = ImmutableArray.Create <NamedTypeSymbol>((NamedTypeSymbol)SubstituteType(interfaces[0]).AsTypeSymbolOnly()); } else if (interfaces.Length == 2) { Debug.Assert(interfaces[0] is NamedTypeSymbol); // IList<T> interfaces = ImmutableArray.Create <NamedTypeSymbol>((NamedTypeSymbol)SubstituteType(interfaces[0]).AsTypeSymbolOnly(), (NamedTypeSymbol)SubstituteType(interfaces[1]).AsTypeSymbolOnly()); } else if (interfaces.Length != 0) { throw ExceptionUtilities.Unreachable; } return(ArrayTypeSymbol.CreateSZArray( element.Type, t.BaseTypeNoUseSiteDiagnostics, interfaces, element.CustomModifiers)); } return(ArrayTypeSymbol.CreateMDArray( element.Type, t.Rank, t.Sizes, t.LowerBounds, t.BaseTypeNoUseSiteDiagnostics, element.CustomModifiers)); }