Sebastian Zumbrunn
Results
2
comments of
Sebastian Zumbrunn
Reminder to my self to update the ticket id of the second commit
As discussed, the way this PR implements the propagation of unary expressions means that only the type of unary literal expressions are properly propagated (e.g. `-1`, but not `-x` or...