Skip to content

Forget marker trait #3782

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.

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 32 commits into
base: master
Choose a base branch
from
Open
Changes from 2 commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
5425146
feat: add `forget-marker-trait` RFC
Ddystopia Mar 1, 2025
5f110e4
fix: update link to `local_default_bounds` rfc
Ddystopia Mar 1, 2025
4de844c
fix: `Drain` could be `!Forget` if `T: !Forget`
Ddystopia Mar 2, 2025
eb68d4b
fix: clairify the language
Ddystopia Mar 2, 2025
15af7c4
feat: add a caviat about macros
Ddystopia Mar 3, 2025
7ec8755
fix: clairify motivation and guide level explanation
Ddystopia Mar 4, 2025
ec51cc3
Update text/0000-forget-marker-trait.md
Ddystopia Mar 19, 2025
9b3c1e7
Update text/0000-forget-marker-trait.md
Ddystopia Mar 19, 2025
93bfd52
Remove alternative name `IndirectPin`
Ddystopia Mar 19, 2025
93e05ce
Add / Rearrange prior art by author's request
Ddystopia Mar 19, 2025
384bb46
Mention WASI 3.0 in motivation too
Ddystopia Mar 19, 2025
66cd8ab
fix: typo
Ddystopia Mar 19, 2025
4d73dbd
Add a motivation summary
Ddystopia Mar 19, 2025
29cf667
Reword the paragraph
Ddystopia Mar 19, 2025
7862ecd
Convert the paragraph about `thread::scoped` to past tense
Ddystopia Mar 19, 2025
2b73aae
Mention a possibility of teaching `Pin` using `Forget`
Ddystopia Mar 19, 2025
bdb61bf
Update text/0000-forget-marker-trait.md
Ddystopia Mar 25, 2025
4c33423
Update text/0000-forget-marker-trait.md
Ddystopia Apr 3, 2025
a2c8336
Update text/0000-forget-marker-trait.md
Ddystopia Apr 3, 2025
9e8fcd1
Update text/0000-forget-marker-trait.md
Ddystopia Apr 3, 2025
aa8d729
Update text/0000-forget-marker-trait.md
Ddystopia Apr 3, 2025
c73fa6e
Update text/0000-forget-marker-trait.md
Ddystopia Apr 3, 2025
e534b0c
fix: implement text improvements proposed by of @teor2345
Ddystopia Apr 3, 2025
7ad628a
fix: reorder some paragraphs
Ddystopia Apr 3, 2025
555fbfa
fix: dma example
Ddystopia Apr 3, 2025
8e272be
fix: intoduce a connection to the proxy RAII guards before explaining…
Ddystopia Apr 5, 2025
82130e0
fix: differentiate std and ecosystem migration
Ddystopia Apr 5, 2025
ce31703
fix: improve motivation and explanation for the change of channels
Ddystopia Apr 5, 2025
c4f3ef9
fix: clairify exactly why channels are unsound
Ddystopia Apr 6, 2025
8bcc644
feat: add alternative to use infinitely big recursive types instead o…
Ddystopia Apr 6, 2025
91ed60d
fix: clairify the language around `Box<dyn Trait>`
Ddystopia Apr 6, 2025
1ebf5b1
Update 0000-forget-marker-trait.md
Ddystopia Apr 7, 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