]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #74123 - GuillaumeGomez:cleanup-e0718, r=pickfire
authorManish Goregaokar <manishsmail@gmail.com>
Tue, 14 Jul 2020 05:23:10 +0000 (22:23 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 05:23:10 +0000 (22:23 -0700)
commit549aa03d862d45f5c33fae2ea2a2d2d537207bda
tree50c5aa0877661a9ceb77af8fe3b6f359bbfadc91
parente5532436a19ec421ec0d510df3428f9517c31d0a
parent472843834491b28b8dda558c50da2763574b4839
Rollup merge of #74123 - GuillaumeGomez:cleanup-e0718, r=pickfire

clean up E0718 explanation

r? @Dylan-DPC