tests/ui/traits/new-solver/int-var-alias-eq.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

// check-pass
// compile-flags: -Ztrait-solver=next

// HIR typeck ends up equating `<_#0i as Add>::Output == _#0i`.
// Want to make sure that we emit an alias-eq goal for this,
// instead of treating it as a type error and bailing.

fn test() {
    // fallback
    let x = 1 + 2;
}

fn test2() -> u32 {
    // expectation from return ty
    1 + 2
}

fn main() {}