Follow on from #6172. See comment by @smarter [here](https://github.com/lampepfl/dotty/pull/6172#issuecomment-477055574). See also, https://github.com/lampepfl/dotty/blob/7bcaa97bd98aa2e039fb90aba81c3fde98ec65fe/compiler/src/dotty/tools/dotc/transform/PatternMatcher.scala#L88-L91 Which suggests that maybe we shouldn't be using `Case` here at all?