@@ -48,10 +48,10 @@ trait Foo : ?Sized { ... }
48
48
49
49
However, placing ` ?Sized ` in the supertrait listing raises awkward
50
50
questions regarding inheritance. Certainly, when experimenting with
51
- this syntax early on, the author found it very surprising that the
52
- ` ?Sized ` bound was "inherited" by subtraits. At the same time, it
53
- makes no sense to inherit, since all that the ` ?Sized ` notation is
54
- saying is "do not add ` Sized ` ", and you can't inherit the absence of a
51
+ this syntax early on, we found it very surprising that the ` ?Sized `
52
+ bound was "inherited" by subtraits. At the same time, it makes no
53
+ sense to inherit, since all that the ` ?Sized ` notation is saying is
54
+ "do not add ` Sized ` ", and you can't inherit the absence of a
55
55
thing. Having traits simply not inherit from ` Sized ` by default
56
56
sidesteps this problem altogether and avoids the need for a special
57
57
syntax to supress the (now absent) default.
@@ -81,7 +81,7 @@ object `Foo` implements the trait `Foo`.
81
81
# Drawbacks
82
82
83
83
The ` Self ` parameter is inconsistent with other type parameters if we
84
- adopt this RFC. The author believes this is acceptable since it is
84
+ adopt this RFC. We believe this is acceptable since it is
85
85
syntactically distinguished in other ways (for example, it is not
86
86
declared), and the benefits are substantial.
87
87
@@ -96,10 +96,10 @@ declared), and the benefits are substantial.
96
96
objects implement their respective traits ([ RFC 255] ).
97
97
98
98
- Remove the ` Sized ` defaults altogether. This approach is purer, but
99
- the annotation burden is substantial. The author continues to
100
- experiment in the hopes of finding an alternative to current blanket
101
- default, but without success thus far (beyond the idea of doing
102
- global inference).
99
+ the annotation burden is substantial. We continue to experiment in
100
+ the hopes of finding an alternative to current blanket default, but
101
+ without success thus far (beyond the idea of doing global
102
+ inference).
103
103
104
104
# Unresolved questions
105
105
0 commit comments