using Makie allocations regression between 1.10.2 and 1.10.3 about julia HOT 5 OPEN

given that the regression was a bugfix, it seems unlikely to be fixable

from julia.

I wouldn't say that. Bugfixes introduce perf regressions all the time but they can often be tweaked to keep the bug fixed while fixing the perf regression.

from julia.

cc @N5N3

from julia.

It seems impossible that the doubled allocation all comes from UnionAll unaliasing.
So there might be some unexpected side effect.
I will take a look when I have time, but not sure if there's a (quick) fix.

from julia.

Tried to test this a bit locally, It turns out that 02f27c2 caused this "regression".
I have verified that type intersection does generate some result with free TypeVar on v1.10.2 during Makie's pre-compilation.
IIUC, this would change the result of inference and "simplified" the compiled signature, thus make loading faster.
From this perspective, this is not a regression of type intersection itself.

BTW, I also noticed that the inputs of jl_type_intersection_env_s might contain free TypeVar even during bootstrap.
And obviously, these free TypeVars do not come from type intersection. @vtjnash Is this expected?

from julia.