> then performs type-directed optimization. which can mean erasure of the if block, to be perfectly clear here. edit: any good compiler will warn about the as

> then performs type-directed optimization. which can mean erasure of the if block, to be perfectly clear here. edit: any good compiler will warn about the assignment or throw an error, though, using the right compiler options.