Skip to content

clean up some const error reporting around promoteds - #81333

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:const-err-simplify
Jan 29, 2021
Merged

clean up some const error reporting around promoteds#81333
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:const-err-simplify

clean up some const error reporting around promoteds

48f9dbf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs