Skip to content

Make trait methods callable in const contexts #3762

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
oli-obk wants to merge 34 commits into
base: master
Choose a base branch
from
+1,033 −0
Open

Make trait methods callable in const contexts #3762

Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
545099b
Add const trait impl RFC
oli-obk Dec 13, 2024
290d7fe
Add per-method annotations alternative
oli-obk Jan 13, 2025
0c59930
s/maybe/conditionally/
oli-obk Jan 14, 2025
d50c8ef
Clarify some things that came up in reviews
oli-obk Jan 14, 2025
ff7fabe
const closures
oli-obk Jan 14, 2025
64c0773
Clarify `Destruct` rules
oli-obk Jan 14, 2025
f7cc5e6
Elaborate on some extensions
oli-obk Jan 14, 2025
fe97e3f
Update text/0000-const-trait-impls.md
oli-obk Jan 18, 2025
83f31f7
Address reviews
oli-obk Jan 20, 2025
8d9f649
Elaborate where `~const Trait` bounds can be used
oli-obk Jan 20, 2025
328655a
Add comparison for `?const` example
oli-obk Jan 20, 2025
fb621b6
`dyn ~const Trait` as an argument for implicit `~const Destruct`
oli-obk Feb 6, 2025
73e06e4
Const fn traits and not doing this RFC
oli-obk Feb 6, 2025
dc1cb64
(const) bounds
oli-obk Mar 7, 2025
7da95b8
require `(const) fn` on all methods
oli-obk Mar 7, 2025
73db002
Address review comments
oli-obk Mar 7, 2025
58343dd
typo: `prexisting -> preexisting`
obi1kenobi Mar 21, 2025
0a82e9e
Update text/0000-const-trait-impls.md
oli-obk Mar 31, 2025
c1981e4
Add derives
oli-obk Mar 31, 2025
cb7f02d
Move back to an explicit annotation on traits and impls
oli-obk Mar 31, 2025
bc5cc29
Typos
oli-obk Mar 31, 2025
e18f475
RPIT
oli-obk Mar 31, 2025
fdd11fb
Do not allow `const` refinement of `(const)` methods in impls
oli-obk Apr 16, 2025
53319c4
change to `[const]` and remove per-method non-constness per latest di…
fee1-dead Jun 25, 2025
1311912
clarify breaking change of always-const methods
fee1-dead Mar 17, 2026
da3639f
change `[const] trait Trait` back to `const trait`
fee1-dead Mar 17, 2026
4775f32
minor rewording
fee1-dead Mar 17, 2026
debbc93
update issue number
fee1-dead Mar 17, 2026
e045bdf
use rustc dev guide instead of hackmd link
fee1-dead Mar 17, 2026
baf65e9
clean up remnants of wrong syntax
fee1-dead Mar 17, 2026
4baea47
remove unneeded bound
fee1-dead Mar 17, 2026
8384b66
update play links
fee1-dead Mar 17, 2026
49fae97
change from impl const to const impl
fee1-dead Mar 18, 2026
b56eab2
half pass
fee1-dead Mar 20, 2026
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