5 ms·

anything in here about exhaustiveness checking? In my mind that's half the value of pattern matching.

• SloopJon 7y ago
  From the Exhaustiveness and Usefulness section: "inspect can be declared [[strict]] for implementation-defined exhaustiveness and usefulness checking." "having a __: case makes any inspect statement exhaustive." "any case that comes after a __: case would be useless"
  • jobstijl 7y ago
    Why wouldn't they make it [[strict]] by default?
    • atilaneves 7y ago
      Because it's C++, and the defaults must suck (std::vector::at anyone?)