tests/ui/traits/next-solver/normalize/normalized-const-built-in-op.rs

//@ compile-flags: -Znext-solver
//@ check-pass

const fn foo() {
    let mut x = [1, 2, 3];
    // We need to fix up `<<[i32; 3] as Index<usize>>::Output as AddAssign>`
    // to be treated like a built-in operation.
    x[1] += 5;
}

fn main() {}