[typetools/checker-framework] 861218: RLC should treat calls to methods with @Owning par...

[Martin Kellogg]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 86121890826509d60709fd99999db5e3299f20ca
https://github.com/typetools/checker-framework/commit/86121890826509d60709fd99999db5e3299f20ca
Author: Martin Kellogg <martin....@njit.edu>
Date: 2023-03-27 (Mon, 27 Mar 2023)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakAnnotatedTypeFactory.java
M checker/src/main/java/org/checkerframework/checker/resourceleak/ResourceLeakTransfer.java
A checker/tests/resourceleak/OwningEnsuresCalledMethods.java

Log Message:
-----------
RLC should treat calls to methods with @Owning parameters as if they call the argument's must-call methods (#5733)