Inference/src/TypeSystem/UnionType.cs
/// <summary>
/// To know if the type expression has some type variables and requieres unification
/// The default implementation is return false
/// </summary>
/// <returns>If it has any type variable</returns>
To know if the type expression has some type variables and requieres unification
The default implementation is return false
To know if the type expression has some type variables and requieres unification The default implementation is return false
public override bool HasTypeVariables() {
            if (this.validHasTypeVariables)
                return this.hasTypeVariablesCache;
            bool toReturn = false;
            foreach (TypeExpression type in this.typeSet)
                if (type.HasTypeVariables()) {
                    toReturn = true;
                    break;
                }
            this.validHasTypeVariables = true;
            return this.hasTypeVariablesCache = toReturn;
        }
public override bool HasTypeVariables ( ) { if ( this . validHasTypeVariables ) return this . hasTypeVariablesCache ; bool toReturn = false ; foreach ( TypeExpression type in this . typeSet ) if ( type . HasTypeVariables ( ) ) { toReturn = true ; break ; } this . validHasTypeVariables = true ; return this . hasTypeVariablesCache = toReturn ; }
To know if the type expression has some type variables and requieres unification
The default implementation is return false
To know if the type expression has some type variables and requieres unification The default implementation is return false
If it has any type variable
If it has any type variable