]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #73720 - GuillaumeGomez:cleanup-e0704, r=Dylan-DPC
authorManish Goregaokar <manishsmail@gmail.com>
Tue, 14 Jul 2020 14:38:53 +0000 (07:38 -0700)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 14:38:53 +0000 (07:38 -0700)
commit5e61827dd37041ef689ec51860c690114e92a7c9
treed23489be1d60ff62a6ddfdd57ab2cc123606e216
parent03f565cdbfbdda55798f2c6e1fd0a96ac1c35c76
parent3e48aaea03aef6e6e7ac678d11995a2a39ba9d99
Rollup merge of #73720 - GuillaumeGomez:cleanup-e0704, r=Dylan-DPC

Clean up E0704 error explanation

r? @Dylan-DPC