]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #68777 - GuillaumeGomez:clean-up-e0263, r=Dylan-DPC
authorDylan DPC <dylan.dpc@gmail.com>
Mon, 3 Feb 2020 17:58:32 +0000 (18:58 +0100)
committerGitHub <noreply@github.com>
Mon, 3 Feb 2020 17:58:32 +0000 (18:58 +0100)
commit51c6c2557584bbf64c0c8e7650596eccf7c1e222
treea25bae14f101f464ed61ed1c30e8b882ea316aeb
parent95d1f6ffcded1927fe1e735f1f187dcc40956c78
parent019ca55b45f0b4e1de74c19bca06c20134ac9103
Rollup merge of #68777 - GuillaumeGomez:clean-up-e0263, r=Dylan-DPC

Clean up E0263 explanation

r? @Dylan-DPC