'Type inference should catch that a list type\'s remain imprecise,
instead of letting lowering fail.'

def test_imprecise_list(self):

    with self.assertRaises(TypingError) as raises:
        compile_isolated(imprecise_list, ())
    errmsg = str(raises.exception)
    self.assertIn("Can't    infer    type    of    variable    'l':    list(undefined)", errmsg)
