Skip to main content

Browse the archive

https://github.com/JuliaLang/julia
19 April 2024, 06:28:37 UTC
Revision 7bfd9f4dc30135a12770dd714c854d51996b7050 authored by N5N3 on 22 February 2024, 23:06:06 UTC, committed by Kristoffer on 26 February 2024, 13:57:48 UTC 
Subtype: skip slow-path in `local_∀_∃_subtype` if inputs contain no ∃ typevar. (#53429)
 
This should be safe as ∀ vars' bounds are frozen in env.
If there's no ∃ var, then the current env won't change after
`local_∀_∃_subtype`.
Thus, the slow path should be equivalent to the fast path if the latter
returns 1.
Close #53371.

(cherry picked from commit 37c48e8b11d4742818571405019d80b59fceab49)
1 parent 8f3304a
History
Tip revision: 7bfd9f4dc30135a12770dd714c854d51996b7050 authored by N5N3 on 22 February 2024, 23:06:06 UTC
Subtype: skip slow-path in `local_∀_∃_subtype` if inputs contain no ∃ typevar. (#53429)
Tip revision: 7bfd9f4
File Mode Size
startup.jl -rw-r--r-- 162 bytes
write_base_cache.jl -rw-r--r-- 376 bytes
back to top