1 // Copyright 2016 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // We need to opt inot the `!` feature in order to trigger the
12 // requirement that this is testing.
13 #![feature(never_type)]
17 trait Deserialize: Sized {
18 fn deserialize() -> Result<Self, String>;
21 impl Deserialize for () {
22 fn deserialize() -> Result<(), String> {
27 trait ImplementedForUnitButNotNever {}
29 impl ImplementedForUnitButNotNever for () {}
31 fn foo<T: ImplementedForUnitButNotNever>(_t: T) {}
32 //~^ NOTE required by `foo`
37 //~^ ERROR the trait bound
38 //~| NOTE the trait `ImplementedForUnitButNotNever` is not implemented
39 //~| NOTE the trait is implemented for `()`