Skip to content

Commit cf06f4a

Browse files
committed
Don't implicitly talk about free constant CTFE timing
@RalfJung pointed out in a [comment] that the previous phrasing of the sentence can read like it is giving guarantees about free constant definitions always undergoing CTFE, even when unused. That seems to be how the compiler behaves right now, but it's unclear whether it's intentional. Be more precise and don't talk about free constants at all. [comment]: #1120 (comment)
1 parent 2aec62f commit cf06f4a

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

src/items/associated-items.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -293,8 +293,8 @@ type that the definition has to implement.
293293
An *associated constant definition* defines a constant associated with a
294294
type. It is written the same as a [constant item].
295295

296-
Unlike [free] constants, associated constant definitions undergo
297-
[constant evaluation] only when referenced.
296+
Associated constant definitions undergo [constant evaluation] only when
297+
referenced.
298298

299299
```rust
300300
struct Struct;
@@ -381,5 +381,4 @@ fn main() {
381381
[regular function parameters]: functions.md#attributes-on-function-parameters
382382
[generic parameters]: generics.md
383383
[where clauses]: generics.md#where-clauses
384-
[free]: ../glossary.md#free-item
385384
[constant evaluation]: ../const_eval.md

0 commit comments

Comments
 (0)