@@ -75,17 +75,17 @@ function* or a *free const*. Contrast to an [associated item].
75
75
76
76
### Fundamental traits
77
77
78
- A fundamental trait is one where adding an impl of it for an existing type is a breaking change.
78
+ A fundamental trait is one where adding an impl of it for an existing type is a breaking change.
79
79
The ` Fn ` traits and ` Sized ` are fundamental.
80
80
81
81
### Fundamental type constructors
82
82
83
- A fundamental type constructor is a type where implementing a [ blanket implementation] ( #blanket-implementation ) over it
84
- is a breaking change. ` & ` , ` &mut ` , ` Box ` , and ` Pin ` are fundamental.
83
+ A fundamental type constructor is a type where implementing a [ blanket implementation] ( #blanket-implementation ) over it
84
+ is a breaking change. ` & ` , ` &mut ` , ` Box ` , and ` Pin ` are fundamental.
85
85
86
- Any time a type ` T ` is considered [ local] ( #local-type ) , ` &T ` , ` &mut T ` , ` Box<T> ` , and ` Pin<T> `
87
- are also considered local. Fundamental type constructors cannot [ cover] ( #uncovered-type ) other types.
88
- Any time the term "covered type" is used,
86
+ Any time a type ` T ` is considered [ local] ( #local-type ) , ` &T ` , ` &mut T ` , ` Box<T> ` , and ` Pin<T> `
87
+ are also considered local. Fundamental type constructors cannot [ cover] ( #uncovered-type ) other types.
88
+ Any time the term "covered type" is used,
89
89
the ` T ` in ` &T ` , ` &mut T ` , ` Box<T> ` , and ` Pin<T> ` is not considered covered.
90
90
91
91
### Inhabited
@@ -120,7 +120,7 @@ or not independent of applied type arguments. Given `trait Foo<T, U>`,
120
120
121
121
A ` struct ` , ` enum ` , or ` union ` which was defined in the current crate.
122
122
This is not affected by applied type arguments. ` struct Foo ` is considered local, but
123
- ` Vec<Foo> ` is not. ` LocalType<ForeignType> ` is local. Type aliases do not
123
+ ` Vec<Foo> ` is not. ` LocalType<ForeignType> ` is local. Type aliases do not
124
124
affect locality.
125
125
126
126
### Nominal types
0 commit comments