dates: refresh type system & traits date annotations to Aug/2025#2559

jyn514 merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

ali90h:date-sweep-2025-08-types-traitsali90h/rustc-dev-guide:date-sweep-2025-08-types-traitsCopy head branch name to clipboard