"cannot resolve" → "cannot satisfy"#70798

Merged

bors merged 1 commit intorust-lang:masterfrom estebank:satisfy

Apr 6, 2020

Commits on Apr 5, 2020

"cannot resolve" → "cannot satisfy"
estebank
committed