If the type of `i` is `OutInt` in the first case o...

# announcements

[Baron R]

If the type of i is OutInt in the first case of when, then T should already be bound to Int right?