JuliaLang / julia / #37402

77%

push

local

<a href="https://github.com/JuliaLang/julia/commit/<a class=hub.com/JuliaLang/julia/commit/<a class="double-link" href="https://git"><a class=hub.com/JuliaLang/julia/commit/<a class="double-link" href="https://git"><a class=hub.com/JuliaLang/julia/commit/<a class="double-link" href="https://git"><a class=hub.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1">3933f90f6<a href="https://github.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1">&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/JuliaLang/julia/commit/&lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/JuliaLang/julia/commit/&amp;lt;a class=&amp;quot;double-link&amp;quot; href=&amp;quot;https://git&quot;&gt;&amp;lt;a class=&lt;/a&gt;hub.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1&quot;&gt;3933f90f6&lt;/a&gt;&lt;a href=&quot;https://github.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1&quot;&gt;&amp;lt;a href=&amp;quot;https://github.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1&amp;quot;&amp;gt;&amp;amp;quot;&amp;amp;gt;Some small patch for typeintersect. (#48224)

* Add missing var-substitution in omi</a>t_bad_union.

follow up &lt;/a&gt;&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/JuliaLang/julia/commit/&lt;a class=&quot;double-link&quot; href=&quot;https://github.com/JuliaLang/julia/commit/<a class="double-link" href="https://github.com/JuliaLang/julia/commit/303734204dbe74f1a5d1defcb4ae3ada3e318dd4">303734204</a>&quot;&gt;303734204&lt;/a&gt;&quot;&gt;303734204&lt;/a&gt;&lt;a href=&quot;https://github.com/JuliaLang/julia/commit/3933f90f67d1033ec04b3d296f41bb60eb5fefc1&quot;&gt;

* Also check free typevar&amp;#39;s bounds in `reachable_var`

They might be recreated in `finish_unionall`, (thus `lookup` returns false.)
But their bounds might still live in the current env.

close #44395.
(#44395 could also be fixed by the fast path added in #48221.
This commit would skip more `intersect_var` under circular constraint.)

* Disallow more circulation once we set `lb`==`ub`.

close #26487.
Thi</a>s should be valid as we never set `X<:Y<:X` (assuming `Y` is the outer var).

80866 of 86890 relevant lines covered (93.07%)

30923324.98 hits per line