test/lit: Fix invalid type inference test

This broke after b8cd163978, but
is invalid code to start with; this would have previously
crashed the code generator had the code actually been compiled.

(Allowing implicit conversion to bool would be a separate debate.)

artiq/test/lit/inferencer/unify.py

@@ -33,8 +33,8 @@ j = []
 j += [1.0]
 # CHECK-L: j:list(elt=float)
 
-1 if a else 2
-# CHECK-L: 1:numpy.int? if a:numpy.int? else 2:numpy.int?:numpy.int?
+1 if c else 2
+# CHECK-L: 1:numpy.int? if c:bool else 2:numpy.int?:numpy.int?
 
 True and False
 # CHECK-L: True:bool and False:bool:bool