The compiler has optimised away the JS check, and I think with the new variant representation, it would be the same as JS https://rescript-lang.org/docs/manual/latest/variant#design-decisions