code: public <T extends JCTree> T translate(T tree, Type pt) {
          Type prevPt = this.pt;
          try {
              this.pt = pt;
              return translate(tree);
          } finally {
              this.pt = prevPt;
          }
      }
docs: Visitor method: perform a type translation on tree.