> This kind of error is not managed by a C or C++ compiler (as far as I know). C++ had boost.variant which did exhaustiveness checking since ... 2002 (and an s

> This kind of error is not managed by a C or C++ compiler (as far as I know). C++ had boost.variant which did exhaustiveness checking since ... 2002 (and an std version since C++17).