32 lines
577 B
Rust
32 lines
577 B
Rust
//! Check that the method call does not constrain the RPIT to `i32`, even though
|
|
//! `i32` is the only type that satisfies the RPIT's trait bounds.
|
|
|
|
//@ revisions: current next
|
|
//@[next] compile-flags: -Znext-solver
|
|
//@[current] check-pass
|
|
|
|
trait Trait {}
|
|
|
|
impl Trait for i32 {}
|
|
|
|
struct Bar<T>(T);
|
|
|
|
impl Bar<u32> {
|
|
fn bar(self) {}
|
|
}
|
|
|
|
impl<T: Trait> Bar<T> {
|
|
fn bar(self) {}
|
|
}
|
|
|
|
fn foo(x: bool) -> Bar<impl Trait> {
|
|
if x {
|
|
let x = foo(false);
|
|
x.bar();
|
|
//[next]~^ ERROR: multiple applicable items in scope
|
|
}
|
|
Bar(42_i32)
|
|
}
|
|
|
|
fn main() {}
|