[rustc.git] / tests / ui / traits / new-solver / int-var-alias-eq.rs

// 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() {}
Commit	Line	Data
353b0b11 FG	1	// check-pass
	2	// compile-flags: -Ztrait-solver=next
	3
	4	// HIR typeck ends up equating `<_#0i as Add>::Output == _#0i`.
	5	// Want to make sure that we emit an alias-eq goal for this,
	6	// instead of treating it as a type error and bailing.
	7
	8	fn test() {
	9	// fallback
	10	let x = 1 + 2;
	11	}
	12
	13	fn test2() -> u32 {
	14	// expectation from return ty
	15	1 + 2
	16	}
	17
	18	fn main() {}