2c0c9123fc
Including implementing it for `u128`, so it can be defined in `uint_impl!`. This way it works for all backends, including CTFE.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.