[WIP] Enforce may-define-must-define for ATPITs#123046

compiler-errors wants to merge 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:deny-non-defining-usecompiler-errors/rust:deny-non-defining-useCopy head branch name to clipboard