(This question is inspired by this question, which I incorrectly answered.)
This code does not compile:
List extends List> list = new