Fix RLC unsoundness with explicit `@MustCallUnknown` annotation#6994

Open

kelloggm wants to merge 19 commits intotypetools:masterfrom

Commits on Mar 20, 2025

fix 6990
kelloggm
committed

Commits on Mar 24, 2025

Commits on Mar 25, 2025

Commits on Mar 26, 2025

Merge branch 'master' of https://github.com/typetools/checker-framework into 6990
kelloggm
committed
Merge branch '6990' of github.com:kelloggm/checker-framework into 6990
kelloggm
committed

Commits on Jul 18, 2025

Commits on Mar 3, 2026

Commits on Mar 4, 2026

Merge ../checker-framework-branch-master into 6990
mernst
committed

Commits on Apr 22, 2026

Merge branch 'master' into 6990
mernst
authored