TypeInference: fixed to illustrate problem in tests/typing/pass_empty_list.spl