private PointerTypeSymbol SubstitutePointerType(PointerTypeSymbol t)
{
var oldPointedAtType = new TypeWithModifiers(t.PointedAtType, t.CustomModifiers);
TypeWithModifiers pointedAtType = oldPointedAtType.SubstituteType(this);
if (pointedAtType == oldPointedAtType)
{
return(t);
}
return(new PointerTypeSymbol(pointedAtType.Type, pointedAtType.CustomModifiers));
}
private TypeSymbol SubstituteNonNullableType(NonNullableReferenceTypeSymbol t)
{
var oldUnderlyingType = new TypeWithModifiers(t.UnderlyingType);
TypeWithModifiers underlyingType = oldUnderlyingType.SubstituteType(this);
if (underlyingType == oldUnderlyingType)
{
return(t);
}
if (underlyingType.Type.IsValueType)
{
return(underlyingType.Type);
}
return(underlyingType.Type as NonNullableReferenceTypeSymbol ?? NonNullableReferenceTypeSymbol.CreateNonNullableReference(underlyingType.Type));
}
private ArrayTypeSymbol SubstituteArrayType(ArrayTypeSymbol t)
{
var oldElement = new TypeWithModifiers(t.ElementType, t.CustomModifiers);
TypeWithModifiers element = oldElement.SubstituteType(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));
}
private static TypeWithModifiers SubstituteType(TypeMap typeMap, TypeWithModifiers typeSymbol)
{
return(typeMap == null ? typeSymbol : typeSymbol.SubstituteType(typeMap));
}
