Skip to content

Improve diagnostics for GATs#82272

Merged
bors merged 1 commit intorust-lang:masterfrom
b-naber:gat_diag
May 11, 2021
Merged

Improve diagnostics for GATs#82272
bors merged 1 commit intorust-lang:masterfrom
b-naber:gat_diag

Commits

Commits on May 11, 2021