| // Copyright 2018 The Rust Project Developers. See the COPYRIGHT |
| // file at the top-level directory of this distribution and at |
| // http://rust-lang.org/COPYRIGHT. |
| // |
| // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
| // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
| // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
| // option. This file may not be copied, modified, or distributed |
| // except according to those terms. |
| |
| // run-pass |
| |
| // Check that tautalogically false bounds are accepted, and are used |
| // in type inference. |
| #![feature(trivial_bounds)] |
| #![allow(unused)] |
| |
| pub trait Foo { |
| fn test(&self); |
| } |
| |
| fn generic_function<X: Foo>(x: X) {} |
| |
| enum E where i32: Foo { V } |
| |
| struct S where i32: Foo; |
| |
| trait T where i32: Foo {} |
| |
| union U where i32: Foo { f: i32 } |
| |
| type Y where i32: Foo = (); |
| |
| impl Foo for () where i32: Foo { |
| fn test(&self) { |
| 3i32.test(); |
| Foo::test(&4i32); |
| generic_function(5i32); |
| } |
| } |
| |
| fn f() where i32: Foo { |
| let s = S; |
| 3i32.test(); |
| Foo::test(&4i32); |
| generic_function(5i32); |
| } |
| |
| fn g() where &'static str: Foo { |
| "Foo".test(); |
| Foo::test(&"Foo"); |
| generic_function("Foo"); |
| } |
| |
| trait A {} |
| |
| impl A for i32 {} |
| |
| struct Dst<X: ?Sized> { |
| x: X, |
| } |
| |
| struct TwoStrs(str, str) where str: Sized; |
| |
| fn unsized_local() where for<'a> Dst<A + 'a>: Sized { |
| let x: Dst<A> = *(Box::new(Dst { x: 1 }) as Box<Dst<A>>); |
| } |
| |
| fn return_str() -> str where str: Sized { |
| *"Sized".to_string().into_boxed_str() |
| } |
| |
| fn use_op(s: String) -> String where String: ::std::ops::Neg<Output=String> { |
| -s |
| } |
| |
| fn use_for() where i32: Iterator { |
| for _ in 2i32 {} |
| } |
| |
| fn main() {} |