Transmutes a value of type T to a value of type U.
Both types are asserted to be equal during compilation but after type checking.
If not, a compilation error is issued.
This function is useful for types using arithmetic generics in cases
which the compiler otherwise cannot prove equal during type checking.
You can use this to obtain a value of the correct type while still asserting
that it is equal to the previous.
Transmutes a value of type T to a value of type U.
Both types are asserted to be equal during compilation but after type checking. If not, a compilation error is issued.
This function is useful for types using arithmetic generics in cases which the compiler otherwise cannot prove equal during type checking. You can use this to obtain a value of the correct type while still asserting that it is equal to the previous.