Comment by ncmncm

Am I confused, or is Wesley?

C++ supports dependent types:

  template<typename T>
  T add(T, T);

C++ doesn't have borrow checking. Maybe he means no non-obligate-GC language has dependent types and borrow checking?