julia
b1fffb06 - Compiler: `abstract_apply`: declare type of two closure captures (#57684)

Commit
286 days ago
Compiler: `abstract_apply`: declare type of two closure captures (#57684) These two local variables were, unlike some other ones, missing type declarations. The type declarations are helpful becase the variables get captured and assigned to in the closure `infercalls`, resulting in bad type inference without the type declarations. I don't think there's any drawback to adding the type declarations: * the declared type is concrete * conversion shouldn't ever happen, as only values of the same type get assigned to these variables This change decreases the number of invalidations on loading package TypeDomainNaturalNumbers v6.1.0 (without first loading the REPL) from 981 to 968. The comparison is on top of eba2a337f914462b47a26fb30939155beab72ace.
Author
Parents
Loading