Incorrect Generated code for Inline Assembly

The following code generates incorrect output. I would have expected the -2 to generate an error, much like mov {a}, [{a} - {b}] would. Instead the compiled output of the code below is mov {a}, [{a} + 2 * {b}] which is incorrect! The minus - is switched to a +. Also if someone is not paying attention this is extremely easy to miss since the code compiles and even runs.

use core::arch::asm;
#[unsafe(no_mangle)]
pub fn example(a: usize, b: usize) {
    unsafe {
        asm!(
            "mov {a}, [{a} - 2 * {b}]",
            a  = in(reg) a,
            b  = in(reg) b,
            options(nostack),
        )  
    };
}

You can see the example out put here on Compiler explorer:
https://godbolt.org/z/zT44bbdc5

@rustbot label +T-compiler +A-inline-assembly

Start by reproducing the core::arch::asm example and comparing its output with the Compiler Explorer link. Trace the Rust compiler's inline-assembly handling for the - 2 * {b} expression; done means the expression is rejected as expected or the generated assembly preserves the subtraction, with a regression test covering the example.