diff options
Diffstat (limited to 'src/test/ui/traits/trait-alias.rs')
| -rw-r--r-- | src/test/ui/traits/trait-alias.rs | 43 | 
1 files changed, 0 insertions, 43 deletions
| diff --git a/src/test/ui/traits/trait-alias.rs b/src/test/ui/traits/trait-alias.rs deleted file mode 100644 index 9ea211b4d7d..00000000000 --- a/src/test/ui/traits/trait-alias.rs +++ /dev/null @@ -1,43 +0,0 @@ -// Copyright 2017 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. - -#![feature(trait_alias)] - -trait SimpleAlias = Default; //~ERROR E0645 -trait GenericAlias<T> = Iterator<Item=T>; //~ERROR E0645 -trait Partial<T> = IntoIterator<Item=T>; //~ERROR E0645 - -trait Things<T> {} -trait Romeo {} -struct The<T>(T); -struct Fore<T>(T); -impl<T, U> Things<T> for The<U> {} -impl<T> Romeo for Fore<T> {} - -trait WithWhere<Art, Thou> = Romeo + Romeo where Fore<(Art, Thou)>: Romeo; //~ERROR E0645 -trait BareWhere<Wild, Are> = where The<Wild>: Things<Are>; //~ERROR E0645 - -trait CD = Clone + Default; //~ERROR E0645 - -fn foo<T: CD>() -> (T, T) { - let one = T::default(); - let two = one.clone(); - (one, two) -} - -fn main() { - let both = foo(); - assert_eq!(both.0, 0); - assert_eq!(both.1, 0); - let both: (i32, i32) = foo(); - assert_eq!(both.0, 0); - assert_eq!(both.1, 0); -} - | 
