diff options
Diffstat (limited to 'src/test/ui/traits/reservation-impl/no-use.rs')
-rw-r--r-- | src/test/ui/traits/reservation-impl/no-use.rs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/test/ui/traits/reservation-impl/no-use.rs b/src/test/ui/traits/reservation-impl/no-use.rs new file mode 100644 index 000000000..65a55d9e2 --- /dev/null +++ b/src/test/ui/traits/reservation-impl/no-use.rs @@ -0,0 +1,12 @@ +// check that reservation impls can't be used as normal impls in positive reasoning. + +#![feature(rustc_attrs)] + +trait MyTrait { fn foo(&self); } +#[rustc_reservation_impl = "foo"] +impl MyTrait for () { fn foo(&self) {} } + +fn main() { + <() as MyTrait>::foo(&()); + //~^ ERROR the trait bound `(): MyTrait` is not satisfied +} |