docs: static String elementToString(Element element) {
      switch (element.getKind()) {
        case FIELD:
        // fall through
        case CONSTRUCTOR:
        // fall through
        case METHOD:
          return element.getEnclosingElement() + "." + element;
        default:
          return element.toString();
      }
    }