Because it can also be called with any class that doesn't have the bar method, and good luck deciphering the compiler error for it when it's nested 3 levels deep into some far corner of the STL.

That is what concepts fix. It lets you enforce at build time that `t` does have member `.bar()`.