From a6675286bdb0ab0f76921d623f22f28a752d62a9 Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Tue, 1 Feb 2022 08:07:34 -0800 Subject: [PATCH] Add change log. (#5035) --- docs/CHANGELOG.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/CHANGELOG.md b/docs/CHANGELOG.md index 5507b330370..ecf61f33c02 100644 --- a/docs/CHANGELOG.md +++ b/docs/CHANGELOG.md @@ -50,6 +50,9 @@ Version 3.2?.? (February 1, 2022) The `wpi.sh` script supports non-standard names for build system compile targets via the new `-c` command-line option. +The Checker Framework now more precisely computes and checks the type of the +pattern variable in a pattern match instanceof. + **Implementation details:** Deprecated CFGLambda.getMethod{Name} in favor of getEnclosingMethod{Name}.