Skip to content

Improve bug message in check_ty#57984

Merged
bors merged 1 commit intorust-lang:masterfrom
phansch:improve_check_ty_error
Jan 31, 2019
Merged

Improve bug message in check_ty#57984
bors merged 1 commit intorust-lang:masterfrom
phansch:improve_check_ty_error

Commits

Commits on Jan 30, 2019