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
Merged

Make `report_projection_error` more `Term` agnostic#105633
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:term-agnostic

Commits

Commits on Dec 14, 2022