Skip to content

Fast-path some binder relations#105350

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:faster-binder-relate
Dec 13, 2022
Merged

Fast-path some binder relations#105350
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:faster-binder-relate

Commits

Commits on Dec 13, 2022