Skip to content

Make report_projection_error more Term agnostic#105633

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:term-agnostic
Dec 15, 2022

Commits

Commits on Dec 14, 2022