probably not relevant to real world C++ unless you work on libc++, libstdc++, or your name is either Louis Dionne or Eric Niebler.
> This paper tries to shed some light in the dark corners, and explores whether the language can be cleaned up so that good template documentation does not drag obscure language-lawyer details into the domain of the regular user.
For regular people it's a non-concern. I'd be happy to be corrected if I misinterpreted something :)