Ah, right, if type-checking is successful but still the dynamic dispatch would cause a different result, makes sense, thanks. Btw. is it expected or a bug if something that is successful under type-checked fails with static-compile?