swift
2ab9ed33 - [Constraint solver] Unify the two typeVarOccursInType implementations.

Commit

8 years ago

[Constraint solver] Unify the two typeVarOccursInType implementations. NFC, thanks @CodaFi! (cherry picked from commit c58aafdce5e330fa0b49067eaa4c16a49bf6c245)

References

#5501 - [3.0] Implement the "occurs" check before binding type variables

Author

DougGregor

Committer

DougGregor

Parents

7a2eb000

swift 2ab9ed33 - [Constraint solver] Unify the two typeVarOccursInType implementations.

swift
2ab9ed33 - [Constraint solver] Unify the two typeVarOccursInType implementations.