Inference/src/TypeSystem/UnionType.cs
/// <summary>
/// To know if it is a type variable with no substitution
/// </summary>
/// <returns>True in case it is a fresh variable with no substitution</returns>
/// <remarks>Return true if, at least, one of subtypes is fresh variable.</remarks>
To know if it is a type variable with no substitution
To know if it is a type variable with no substitution
public override bool HasFreshVariable() {
            foreach (TypeExpression type in this.typeSet)
                if (type.IsFreshVariable())
                    return true;
            return false;
        }
public override bool HasFreshVariable ( ) { foreach ( TypeExpression type in this . typeSet ) if ( type . IsFreshVariable ( ) ) return true ; return false ; }
To know if it is a type variable with no substitution
To know if it is a type variable with no substitution
True in case it is a fresh variable with no substitution
True in case it is a fresh variable with no substitution
remarks
Return true if, at least, one of subtypes is fresh variable.
Return true if at least one of subtypes is fresh variable .