<img width="210" alt="Screenshot 2019-11-18 at 14 21 19" src="https://user-images.githubusercontent.com/3648029/69055712-b8889480-0a0e-11ea-9748-3fcec54372a4.png"> ```scala val x = ??? trait Foo[T <: x.type] val a: x.type = ??? val b: Foo[x.type] = ??? ``` `type` should be highlighted in all cases