Design FAQ: Further justify why it would "seem wrong if List<?> and List<? extends Object> were equivalent?"

Me in 2022 when the FAQ was a Google Docs document, on "it should actually seem wrong if List<?> and List<? extends Object> were equivalent!":

Only if you [already] buy that List<?> should be truly unbounded, though, right? So this bullet doesn't feel like an argument in favor of treating it as unbounded.

If you want to keep it:

• I could maybe see sticking something like it after "We found the sum of these arguments to be very strongly compelling." It could be presented along the lines of a summary or "Once you're used to the model, maybe you'll find it compelling, too."
• I could see moving a section of it up to the "First, it seems clear that the second type should have non-null elements" paragraph, since it seems to be more about Object as "usually non-null" and thus "no longer the top type."

Start with the linked Design FAQ section on wildcards and bounds, especially the sentence about List<?> and List<? extends Object>. Review the suggested placement and framing in the issue, then revise the FAQ so the rationale is clearer and the finished wording addresses the concern without assuming the conclusion.