Skip to content

Use ObligationCtxt in custom type ops#111741

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:custom-type-op
May 25, 2023

Commits

Commits on May 24, 2023