Hello.
Is this the right place to post a question about type-matching?
I have the following question:
Assume the following code, in Intellj we will have an error at line 4 stating "Type mismatch. Required: Iterable<String> Found ArrayList<String>?"
The issue can be resolved by uncommenting the null-check, so I am wondering if it would be less misleading to have an error-message like "Type mismatch. Required ArrayList<String> Found ArrayList<String>?" - or if that is even possible from the type-checkers perspective?