Skip to content

Do not emit note suggesting to implement operation trait to foreign type#69217

Merged
bors merged 1 commit intorust-lang:masterfrom LeSeulArtichaut:remove-lint-impl-opFeb 19, 2020

Commits

Commits on Feb 17, 2020