This article is not about C++ design as I read it, but rather about implementing a theoretical concept (qualifier subtyping) half-way using new features. I do

This article is not about C++ design as I read it, but rather about implementing a theoretical concept (qualifier subtyping) half-way using new features. I do not think that this is a real complex feature or something to do with complexity of language design in particular, it is rather like some weird tricks in python to implement obscure feature so they integrate well with general syntax. Or eg. like implementing something likes Duff's device in C to mock co-routines. (Having said that: to me the new C++ features are all too complicated. As someone coming from C C++ really now feels like its own language)