Skip to content

Commit 2b921f9

Browse files
committed
Add "removing the position restriction" as an unresolved question
1 parent 956a51d commit 2b921f9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/0000-impl-trait-type-aliases.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -377,4 +377,4 @@ The other alternatives commonly given are:
377377
# Unresolved questions
378378
[unresolved-questions]: #unresolved-questions
379379

380-
None.
380+
- The restriction of type alias `impl Trait` to the forms that are currently possible with `existential trait` is potentially unnecessary. Although this was proposed to simplify the RFC by only changing syntax, it could be a better choice to allow `impl Trait` anywhere in a type alias (by desugaring each occurrence into a separate inferred type).

0 commit comments

Comments
 (0)