Looking at this again, I see that comment was succinctly noting that this type will be patched a few lines below.

```scala
         B1 setInfo TypeBounds.lower(matchResTp) // patch info
```