[WIP] Prototype AST rewrite for parameterless witness method#23

Copilot wants to merge 7 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