public override IType VisitNullabilityAnnotatedType(NullabilityAnnotatedType type)
{
if (RemoveNullability)
{
return(base.VisitNullabilityAnnotatedType(type).ChangeNullability(Nullability.Oblivious));
}
else
{
return(base.VisitNullabilityAnnotatedType(type));
}
}
public override IType VisitNullabilityAnnotatedType(NullabilityAnnotatedType type)
{
if (RemoveNullability)
{
return(type.TypeWithoutAnnotation.AcceptVisitor(this));
}
else
{
return(base.VisitNullabilityAnnotatedType(type));
}
}
public override IType VisitNullabilityAnnotatedType(NullabilityAnnotatedType type)
{
if (type is NullabilityAnnotatedTypeParameter tp)
{
if (tp.Nullability == Nullability.Nullable)
{
return(VisitTypeParameter(tp).ChangeNullability(Nullability.Nullable));
}
else
{
// T! substituted with T=oblivious string should result in oblivious string
return(VisitTypeParameter(tp));
}
}
else
{
return(base.VisitNullabilityAnnotatedType(type));
}
}
public virtual IType VisitNullabilityAnnotatedType(NullabilityAnnotatedType type)
{
return(type.VisitChildren(this));
}
/// <inheritdoc/>
public override IType VisitNullabilityAnnotatedType(NullabilityAnnotatedType type)
{
Formatter.Append("*** Unknow type ");
Formatter.Append(type.ToString());
return(base.VisitNullabilityAnnotatedType(type));
}
