Confusing unrelated code example in Implementations after items.impl.trait.safety

Immediately after the section about unsafe trait impls, there's a seemingly unrelated code example showing what appears to be an implementation of standard and custom traits (none of which are unsafe).

https://github.com/rust-lang/reference/blob/62882004d22f64eef6b4c45a4a534eee948cf664/src/items/implementations.md?plain=1#L125-L159

I found it fairly confusing, because I was expecting that a code example immediately after an important remark like that would show an example of it, but it appears to be a simple demonstration of the common syntax.

Every other code block in this file follows my expectations of the code example elaborating on the previous rule, just this one code block appears completely unrelated to the rule before it.

https://github.com/rust-lang/reference/blob/62882004d22f64eef6b4c45a4a534eee948cf664/src/items/implementations.md?plain=1#L63-L99
(The code example here shows multiple impl blocks)

I would have expected the example code (the one with Circle) to be placed after the items.impl.trait.intro paragraph - would that make more sense? Otherwise, I think that the code block should at least be more clearly detached from the unsafe rule, because it's not an example of an unsafe trait impl.

Read src/items/implementations.md around items.impl.trait.safety and items.impl.trait.intro, then compare the surrounding impl examples and their headings. Confirm the intended relationship between the unsafe-trait rule and the Circle example. Done means the example is positioned or separated so its purpose and relationship to the preceding rule are unambiguous.