Skip to content

normalise host effect sub-obligations from builtin impls#143391

Closed
davidtwco wants to merge 1 commit intorust-lang:masterfrom
davidtwco:const-traits-normalize-builtin-impls
Closed

normalise host effect sub-obligations from builtin impls#143391
davidtwco wants to merge 1 commit intorust-lang:masterfrom
davidtwco:const-traits-normalize-builtin-impls

Commits

Commits on Jul 3, 2025