Do `const fn`s always be inlined?

cuviper · November 11, 2022, 4:54pm

In the future, inline const { ... } blocks will be a way to force that.

Tracking Issue for inline const expressions and patterns (RFC 2920)

opened 07:43PM - 27 Aug 20 UTC

B-RFC-approved T-lang T-compiler C-tracking-issue A-const-eval F-inline_const S-tracking-needs-summary

This is a tracking issue for the RFC "Inline `const` expressions and patterns" (…rust-lang/rfcs#2920). The feature gate for the issue is `#![feature(inline_const)]`. ### About tracking issues Tracking issues are used to record the overall progress of implementation. They are also uses as hubs connecting to other relevant issues, e.g., bugs or open design questions. A tracking issue is however *not* meant for large scale discussion, questions, or bug reports about a feature. Instead, open a dedicated issue for the specific matter and add the relevant feature gate label. ### Steps  - [x] Implement the RFC (#77124 does most of it, modulo some bugs around range patterns that should be fixed in #78116) - [x] Adjust documentation ([see instructions on rustc-dev-guide][doc-guide]) [Unstable Book docs in #78250] - [ ] Handle inner attributes. https://github.com/rust-lang/rust/pull/94985 - [ ] resolve expr fragment specifier issue (#86730) - [ ] Stabilization PR ([see instructions on rustc-dev-guide][stabilization-guide]) [stabilization-guide]: https://rustc-dev-guide.rust-lang.org/stabilization_guide.html#stabilization-pr [doc-guide]: https://rustc-dev-guide.rust-lang.org/stabilization_guide.html#documentation-prs ### Unresolved Questions * Naming: "inline const", "const block", or "anonymous const"? * Lint about `&const { 4 }` vs `const { &4 }`? * How should this work for the special has-block syntax rules? <https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/const.20blocks.20differ.20from.20normal.20and.20from.20unsafe.20blocks/near/290229453> ### Implementation history  - Primary implementation PR: #77124 - Unstable Book documentation: #78250

Topic		Replies	Views
[pre-RFC] [idea] Detecting const evaluation language design	5	950	November 13, 2019
`const fn` specialization language design	10	566	July 25, 2026
Other possible const-fn purposes language design	18	2223	April 27, 2020
Adding #[cfg(const)]? language design	5	1635	November 5, 2020
Quick Thought: const{} blocks language design	9	3694	July 29, 2018

Do `const fn`s always be inlined?

Related topics