Open andreinaku opened 1 month ago
def append_2(a): ''' Tests inference with constraints added from append calls. ''' if rand_cond: a.append(3) return None
current result: ((a:bytearray + list < int + T?3 > + T?1) -> (return:NoneType)) desired result: ((a:bytearray + list < T?3 > + T?1) -> (a:bytearray + list < int + T?3 > + T?1 /\ return:NoneType))
((a:bytearray + list < int + T?3 > + T?1) -> (return:NoneType))
((a:bytearray + list < T?3 > + T?1) -> (a:bytearray + list < int + T?3 > + T?1 /\ return:NoneType))
current result:
((a:bytearray + list < int + T?3 > + T?1) -> (return:NoneType))
desired result:((a:bytearray + list < T?3 > + T?1) -> (a:bytearray + list < int + T?3 > + T?1 /\ return:NoneType))