[typetools/checker-framework] a1c36a: Correct treatment of methods whose receiver is raw

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: a1c36a293e02df53c71a84c0a19e866fd063cf12
https://github.com/typetools/checker-framework/commit/a1c36a293e02df53c71a84c0a19e866fd063cf12
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2023-03-22 (Wed, 22 Mar 2023)

Changed paths:
M checker/tests/nullness/Issue3929.java
M checker/tests/nullness/MisuseProperties.java
M checker/tests/nullness/RawTypesUses.java
M checker/tests/nullness/generics/Issue269.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/framework/util/AnnotatedTypes.java
A framework/tests/all-systems/Issue3785.java
A framework/tests/all-systems/Issue5436.java
M framework/tests/framework/BridgeMethods.java

Log Message:
-----------
Correct treatment of methods whose receiver is raw