Skip to content

clean up some const error reporting around promoteds#81333

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

Commits

Commits on Jan 24, 2021