Description
In 6.14 (Generic parameters), the "Where clauses" subsection has these two paragraphs that probably belong in 10.6 (Trait and lifetime bounds).
Bounds that don't use the item's parameters or higher-ranked lifetimes are checked when the item is defined. It is an error for such a bound to be false.
Copy, Clone, and Sized bounds are also checked for certain generic types when defining the item. It is an error to have Copy or Clone as a bound on a mutable reference, trait object or slice or Sized as a bound on a trait object or slice.
I think the quoted paragraphs apply more generally than to where clauses.
Alternatively, the "Where clauses" subsection could move to 10.6, because where clauses are arguably specifically about bounds, rather than about generic parameters in general. I think the two quoted paragraphs still belong outside any subsection that's specific to where clauses.
I'm willing to work on a pull request for this.