Ah, ok. I couldn't see all the code in the email I replied to originally. Yup, and as the method is inlined the compiler can see whether or not it actually needs to widen the type to allow for the default or not. np.