1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
//@ compile-flags: -Znext-solver
//@ revisions: fallback constrain
//@[constrain] check-pass
// Tests that we stall the `{integer}: Foo` obligation until after we
// constrain the int type (or fallback occurs).
#![feature(negative_impls, auto_traits)]
auto trait Foo {}
impl !Foo for i32 {}
fn needs_foo(x: impl Foo) {}
fn main() {
let mut x = 0;
needs_foo(x);
//[fallback]~^ ERROR the trait bound `i32: Foo` is not satisfied
#[cfg(constrain)]
{
x = 1u64;
}
}
|
