]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #75702 - GuillaumeGomez:cleanup-e0759, r=pickfire
authorJosh Stone <cuviper@gmail.com>
Thu, 20 Aug 2020 17:07:22 +0000 (10:07 -0700)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 17:07:22 +0000 (10:07 -0700)
Clean up E0759 explanation

r? @Dylan-DPC

cc @pickfire


Trivial merge