Understanding C++17’s new [[fallthrough]] attribute.