blob: f5bf985cdb2dd48ff71ddc468c7c4738db67f37e (
plain)
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;
}
}
|