From cbbcf07f1f9cf18165eca5ac8985cd780c1e2dd5 Mon Sep 17 00:00:00 2001
From: Shuhei Kadowaki <40514306+aviatesk@users.noreply.github.com>
Date: Wed, 1 Jun 2022 13:29:57 +0900
Subject: [PATCH] add news entries for recent compiler-related improvements
 (#45525)

---
 NEWS.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/NEWS.md b/NEWS.md
index fd1e959b33572..69e4d7af7e781 100644
--- a/NEWS.md
+++ b/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
 ---------------------------