diff options
| author | Tomas Gavenciak <gavento@ucw.cz> | 2018-03-27 22:26:46 +0200 |
|---|---|---|
| committer | Tomas Gavenciak <gavento@ucw.cz> | 2018-05-02 22:17:31 +0200 |
| commit | e09d9ecbcdbd4563656162be6a69e47a11f67c52 (patch) | |
| tree | af1946336d64a7ddf0b8f91216e5edd3fe92b6ca | |
| parent | b0fcb5f4408d59a0dcea4427394a04e72ab5aeff (diff) | |
| download | rust-e09d9ecbcdbd4563656162be6a69e47a11f67c52.tar.gz rust-e09d9ecbcdbd4563656162be6a69e47a11f67c52.zip | |
Tidy up the code
| -rw-r--r-- | src/test/ui/rfc1598-generic-associated-types/collections.rs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/test/ui/rfc1598-generic-associated-types/collections.rs b/src/test/ui/rfc1598-generic-associated-types/collections.rs index 4ea2c828831..19f57566096 100644 --- a/src/test/ui/rfc1598-generic-associated-types/collections.rs +++ b/src/test/ui/rfc1598-generic-associated-types/collections.rs @@ -14,8 +14,9 @@ //FIXME(#44265): "lifetime parameters are not allowed on this type" errors will be addressed in a //follow-up PR -// A Collection trait and collection families. -// Based on http://smallcultfollowing.com/babysteps/blog/2016/11/03/associated-type-constructors-part-2-family-traits/ +// A Collection trait and collection families. Based on +// http://smallcultfollowing.com/babysteps/blog/2016/11/03/ +// associated-type-constructors-part-2-family-traits/ trait Collection<T> { fn empty() -> Self; @@ -25,7 +26,8 @@ trait Collection<T> { type Iter<'iter>: Iterator<Item=&'iter T>; type Family: CollectionFamily; // Test associated type defaults with parameters - type Sibling<U>: Collection<U> = <<Self as Collection<T>>::Family as CollectionFamily>::Member<U>; + type Sibling<U>: Collection<U> = <<Self as Collection<T>>::Family as CollectionFamily>:: + Member<U>; //~^ ERROR type parameters are not allowed on this type [E0109] } @@ -82,4 +84,4 @@ fn use_floatify() { println!("{}", c.iterate().next()); } -fn main() {} \ No newline at end of file +fn main() {} |
