add news entries for recent compiler-related improvements (JuliaLang#…

…45525)

NEWS.md

@@ -25,6 +25,17 @@ Language changes
 Compiler/Runtime improvements
 -----------------------------
 
+* The known quadratic behavior of type inference is now fixed and inference uses less memory in general.
+ Certain edge cases with auto-generated long functions (e.g. ModelingToolkit.jl with partial
+ differential equations and large causal models) should see significant compile-time improvements.
+ ([#45276], [#45404])
+* Non-concrete call sites can now be union-split to be inlined or statically-resolved even
+ if there are multiple dispatch candidates. This may improve runtime performance in certain
+ situations where object types are not fully known statically but mostly available at runtime
+ (as like Julia-level type inference implementation itself) by statically resolving
+ `@nospecialize`-d call sites and avoiding excessive compilation. ([#44512])
+* All the previous usages of `@pure`-macro in `Base` has been replaced with the preferred
+ `Base.@assume_effects`-based annotations. ([#44776])
 
 Command-line option changes
 ---------------------------