Skip to content

RFC: Implementable trait aliases #3437

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 45 commits into
base: master
Choose a base branch
from
+1,148 −0
Open

RFC: Implementable trait aliases #3437

Changes from 20 commits
Commits
Show all changes
45 commits
Select commit Hold shift + click to select a range
5ef6311
RFC: Implementable trait aliases
Jules-Bertholet May 24, 2023
af7b7ea
Fix wording
Jules-Bertholet May 24, 2023
6b36635
Discuss `#[implementable]` in more detail
Jules-Bertholet Jun 15, 2023
5aa3827
Add future possibility syntax
Jules-Bertholet Jun 15, 2023
cd871e0
Support fully-qualified method call syntax
Jules-Bertholet Sep 13, 2023
5d1080a
Allow implementable aliases in paths more generally
Jules-Bertholet Sep 13, 2023
13a9c18
Add discussion of "unioning" traits
Jules-Bertholet Sep 18, 2023
1b32952
Fix typos
Jules-Bertholet Sep 18, 2023
f03d3b9
Expand alternatives, fix implementability rules hole
Jules-Bertholet Sep 27, 2023
d2603ab
Add words about associated type bounds
Jules-Bertholet Oct 6, 2023
1e235ff
Fix typo
Jules-Bertholet Oct 25, 2023
6c22c39
Address biggest comments from design meeting
Jules-Bertholet Oct 25, 2023
149b016
Update motivation to reflect current state of AFIT
Jules-Bertholet Oct 25, 2023
7089998
Correct minor error
Jules-Bertholet Oct 25, 2023
c08f2b8
Split one bullet into two
Jules-Bertholet Oct 25, 2023
d0c32f3
Alias associated items
Jules-Bertholet Oct 25, 2023
1167e58
Clarify "weak"/"strong"
Jules-Bertholet Oct 26, 2023
b027df1
Future possibility: trait alias associated items
Jules-Bertholet Nov 29, 2023
601cc9c
Future possibility: trait aliases constrained by their associated items
Jules-Bertholet Dec 9, 2023
24f15c1
Rewrite AFIT example in terms of `trait-variant`
Jules-Bertholet Dec 19, 2023
ef13af9
Reflow
Jules-Bertholet Apr 7, 2025
e5c19f0
Major extension
Jules-Bertholet Apr 10, 2025
4879d57
Address comments
Jules-Bertholet Apr 10, 2025
55f34c0
Fix a bug
Jules-Bertholet Apr 10, 2025
5e4b65b
Minor notes
Jules-Bertholet Apr 11, 2025
3933112
Reorder a few paragraphs
Jules-Bertholet Apr 11, 2025
0e73504
No where clauses on alias items
Jules-Bertholet Apr 11, 2025
2cb9aee
Implementable function aliases don't need `extern`
Jules-Bertholet Apr 11, 2025
426324f
Fix typo
Jules-Bertholet Jun 4, 2025
a9169d1
Fix more typos
Jules-Bertholet Jun 4, 2025
7d101c2
Const future possibilities
Jules-Bertholet Jun 4, 2025
5fa4230
`LendingIterator`
Jules-Bertholet Jun 5, 2025
20d8ba0
Target features
Jules-Bertholet Jun 5, 2025
5415e73
Remove implementability restrictions on `const` and `type` alias items
Jules-Bertholet Jun 5, 2025
87f86e1
Fix minor mistake in example
Jules-Bertholet Jun 5, 2025
f9547f9
Explain why subtrait impls can’t impl supertraits
Jules-Bertholet Jun 8, 2025
381d6d2
Minor changes to rationale & alternatives
Jules-Bertholet Jun 8, 2025
12a086a
`default partial impl` in future possibilities
Jules-Bertholet Jun 9, 2025
990667b
Fix typo
Jules-Bertholet Jun 10, 2025
f6c765e
Mention GAT `'static` issue
Jules-Bertholet Jun 10, 2025
82c9db5
Add clarifications and examples for alias items
Jules-Bertholet Jun 10, 2025
59f7333
Minor reword
Jules-Bertholet Jun 11, 2025
63234a9
More minor rephrasings
Jules-Bertholet Jun 11, 2025
dc7ea62
Remove redundant section
Jules-Bertholet Jun 11, 2025
6db4f28
Fix minor mistake
Jules-Bertholet Jun 11, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading