Is it really slower ? The compiler has to compute the type of the right hand side in any case. It just has one less computation to do now (type checking the con

Is it really slower ? The compiler has to compute the type of the right hand side in any case. It just has one less computation to do now (type checking the conversion to the left hand type)