docs: @Requires("type != null")
    @Ensures("result == null || result.getDeclaredName().equals(type.toString())")
    TypeName getTypeNameForType(TypeMirror type) {
      switch (type.getKind()) {
        case NONE:
          return null;
        default:
          return new TypeName(type.toString());
      }
    }