]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #67823 - euclio:drop-improvements, r=petrochenkov
authorGuillaume Gomez <guillaume1.gomez@gmail.com>
Sat, 4 Jan 2020 12:17:29 +0000 (13:17 +0100)
committerGitHub <noreply@github.com>
Sat, 4 Jan 2020 12:17:29 +0000 (13:17 +0100)
commit1140ceebccdf9ab00bce927dd71dbe5957486ef2
treeb66e79853f903fa8d5845f556c7e9d46e1361be2
parenta469b1785d7ff414abe718cf013440ca0ead7e42
parente9990bc65f8e44fd2843478ac685bb79c0a50ed0
Rollup merge of #67823 - euclio:drop-improvements, r=petrochenkov

improve some `Drop`-related error messages