Notably, contains the implementation of labeled switch expressions and
decl literals.