Validate method receiver#338

Open

d367wang wants to merge 5 commits intoopprop:masterfrom

d367wang:receiver-validate

Commits on Jun 25, 2021

validate method receiver
d367wang
committed

Commits on Jun 29, 2021

create existential var for receiver type arg and wellformedness constraints
d367wang
committed

Commits on Jan 14, 2022

Merge branch 'master' of https://github.com/opprop/checker-framework-inference into receiver-validate
d367wang
committed

Commits on Jan 26, 2022

Merge branch 'master' into receiver-validate
wmdietl
authored

Commits on Mar 12, 2022

Merge branch 'master' into receiver-validate
wmdietl
authored