Address review comments

This commit is contained in:
Nixon
2019-11-30 10:56:07 +00:00
parent f8fb24f18f
commit a52eb05ec6
+12 -6
View File
@@ -1,12 +1,18 @@
Having multiple relaxed default bounds is unsuported.
Having multiple relaxed default bounds is unsupported.
Erroneous code example:
```compile_fail,E0203
trait Foo {}
struct S5<T>(*const T) where T: ?Foo + ?Sized;
struct Bad<T: ?Sized + ?Send>{
inner: T
}
```
Here the type `T` cannot have a relaxed bound for both `Foo` and `Sized`
Here the type `T` cannot have a relaxed bound for multiple default traits
(`Sized` and `Send`). This can be fixed by only using one relaxed bound.
```
struct Good<T: ?Sized>{
inner: T
}
```