Resource leak checker no longer outputs human-readable messages #7053
Description
With current Checker Framework (3.49.2):
ResourceLeaks.java:[148,12] error: [required.method.not.called] (required.method.not.called)
With the previous version (3.49.1):
ResourceLeaks.java:[148,12] error: [required.method.not.called] @MustCall method close may not have been invoked on x or any of its aliases.
The type of object is: demo20250422.ResourceLeaks.Test.
Reason for going out of scope: possible exceptional exit due to consume(x) with exception type java.lang.RuntimeException
Bisect points to 93ec262, although it isn't obvious to me what's going on, since messages.properties is still present.
Metadata
Metadata
Assignees
Labels
No labels