<img width="727" alt="Screenshot 2022-10-13 at 16 09 09" src="https://user-images.githubusercontent.com/1078012/195635403-a696549f-5f94-433b-9dfa-91c0b580a391.png"> `extends` here isn't coloured right. This might also be fixed by changes in progress in #4067.