Thanks for the PR! Can you say more why you'd like to add this? The reference doesn't generally include content on unstable features, so I'm not sure if this should be included (it already has a brief link here). The reference also generally doesn't include details about how the standard library is implemented, and instead focuses on just the language itself.

I thought this was part of the stabilization process. If you look at the tracking issue, the only missing step is « adjust documentation »

Ah, is there a proposal to stabilize it somewhere?

Generally, stabilization isn't usually gated on having the reference updated. Since the reference only covers stable language features, it's usually best to update it during the stabilization process, or shortly afterwards.

As for this specific change, I'm not sure what the best way to document this is. As I understand, Termination is not a language feature, since it is implemented solely in the standard library (using the unstable start lang item). I would probably just update the note in the "Main Functions" section, and leave only the first paragraph from this PR in the special traits list. The details of how Termination is implemented is up to the standard library, and seems like the kind of thing that is not relevant to the language, and very difficult to keep in sync. It could then be updated or removed if/when start is stabilized.

Alright, closing this