Fix RLC unsoundness with explicit `@MustCallUnknown` annotation

Open kelloggm opened this issue 9 months ago • 3 comments

fixes #6990

Mar 20 '25 16:03 kelloggm

@mernst I think you should review this again to make sure that the new @MustCall annotations in the Initialization checker are ok.

Also, this change could introduce user-facing behavior in the form of new warnings (as shown by the need to add those annotations). Does that warrant a changelog entry? If so, I don't mind adding one.

Mar 24 '25 18:03 kelloggm

@kelloggm CI is not passing. Could you fix that? Then I will review.

Mar 25 '25 23:03 mernst

@kelloggm Ping.

Jul 18 '25 14:07 mernst