julia
e6d2624a - Skip subtype check if `intersect_invariant` calls `set_vat_to_const`.

Commit

3 years ago

Skip subtype check if `intersect_invariant` calls `set_vat_to_const`. Co-Authored-By: Jameson Nash <vtjnash+github@gmail.com>

References

Author

N5N3

Committer

N5N3

Parents