code: public Type cvarLowerBound(Type t) {
          if (t.hasTag(TYPEVAR) && ((TypeVar) t).isCaptured()) {
              return cvarLowerBound(t.getLowerBound());
          }
          else return t;
      }
docs: Get a capture variable's lower bound, returning other types unchanged.
  @param t a type