[typetools/checker-framework] 342041: Methods that return "void" cannot be pure, so -Asu...

[Martin Kellogg]

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

Changed paths:
M checker/src/test/java/org/checkerframework/checker/test/junit/ainferrunners/AinferTestCheckerAjavaValidationTest.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/tests/purity-suggestions/PuritySuggestionsClass.java
M javacutil/src/main/java/org/checkerframework/javacutil/TreeUtils.java

Log Message:
-----------
Methods that return "void" cannot be pure, so -AsuggestPurity should not suggest that they are (#5736)