Make empty bounds lower to `WellFormed` and make `WellFormed` coinductive#98542

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

jackh726:coinductive-wfjackh726/rust:coinductive-wfCopy head branch name to clipboard