AST rewriting for witness() with type attribution implementation#21

Garciat with Copilot wants to merge 8 commits into

mainGarciat/java-type-classes:mainfrom

copilot/prototype-compiler-ast-rewriteGarciat/java-type-classes:copilot/prototype-compiler-ast-rewriteCopy head branch name to clipboard