Allow more inference on ... lists.

Removing this line doesn't cause any tests to fail, and it lets me add a new test which I believe should pass. Is this the correct thing to do, or can someone give me a test case that this breaks?