To save the match at the start of `thisTypeAsSeen`, sharpen its parameter type and:

```scala
case tt @ ThisType(sym)            => thisTypeAsSeen(tt)
```
Ditto for `singleTypeAsSeen`.