IIRC Stroustrup mentions a desire for features such as these for versions of C++ after C++17.
One year later: i see the template library [1] but i don't see the analysis tool. Does anybody know what happened with this initiative?
Other vendors might eventually add support as well.