Document some builtin impls in the next solver#122238

Merged

bors merged 2 commits intorust-lang:masterfrom

fee1-dead-contrib:builtin-impl-next-solver-dox

Mar 14, 2024

Commits on Mar 9, 2024

Document some builtin impls in the next solver
fee1-dead
committed

Commits on Mar 14, 2024

move impl documentation to their actual locations
fee1-dead
committed