Mention that you can add auto traits if principal has them as supers

I.e., document the behavior after r-l/r/119338.

Author: WaffleLapkin

src/expressions/operator-expr.md

@@ -476,7 +476,7 @@ reference types and `mut` or `const` in pointer types.
 
 * Both slice metadata (`*[u16]` -> `*[u8]`, `*str` -> `*(u8, [u32])`).
 * Both the same trait object metadata, modulo dropping auto traits (`*dyn Debug` -> `*(u16, dyn Debug)`, `*dyn Debug + Send` -> `*dyn Debug`).
-    * **Note**: Adding auto traits is not allowed (`*dyn Debug` -> `*dyn Debug + Send` is invalid).
+    * **Note**: Adding auto traits is only allowed if the principal trait has the auto trait as a super trait (given `trait T: Send {}`, `*dyn T` -> `*dyn T + Send` is valid, but `*dyn Debug` -> `*dyn Debug + Send` is not).
     * **Note**: Generics (including lifetimes) must match (`*dyn T<'a, A>` -> `*dyn T<'b, B>` requires `'a = 'b` and `A = B`).
 
 \*\* only when `m₁` is `mut` or `m₂` is `const`. Casting `mut` reference to

src/type-coercions.md

@@ -210,6 +210,7 @@ r[coerce.unsize.trait-object]
 r[coerce.unsize.trait-upcast]
 * `dyn T` to `dyn U`, when `U` is one of `T`'s [supertraits].
     * This allows dropping auto traits, i.e. `dyn T + Auto` to `dyn U` is allowed.
+    * This allows adding auto traits if the principal trait has the auto trait as a super trait, i.e. given `trait T: U + Send {}`, `dyn T` to `dyn T + Send` or to `dyn U + Send` coercions are allowed.
 
 r[coerce.unsized.composite]
 * `Foo<..., T, ...>` to `Foo<..., U, ...>`, when: