2d7ac728e4
As a side effect, we now represent most promoteds as `ConstValue::Scalar` again. This is useful because all implict promoteds are just references anyway and most explicit promoteds are numeric arguments to `asm!` or SIMD instructions.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.