Skip to content

Commit 7089998

Browse files
Correct minor error
1 parent 149b016 commit 7089998

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/3437-implementable-trait-alias.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -367,7 +367,7 @@ let _: IntIter<Item = u32> = [1_u32].into_iter(); // `Item = u32` is redundant,
367367
- Also, such a change might break the commutativity of `+`, or make it less obvious which trait is being implemented.
368368
- Again, user feedback could help make this decision.
369369
- Another option is to require an attribute on implementable aliases; e.g. `#[implementable] trait Foo = ...`. This would make the otherwise-subtle implementability rules more explicit, at the cost of cluttering user code and the attribute namespace.
370-
- A previous version of this RFC required type parameters of implementable trait aliases to be used as type parameters of the alias's primary trait. This restriction was meant to avoid surprising errors:
370+
- A previous version of this RFC required generic parameters of implementable trait aliases to be used as generic parameters of the alias's primary trait. This restriction was meant to avoid surprising errors:
371371

372372
```rust
373373
trait Foo<T> = Copy;

0 commit comments

Comments
 (0)