]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #81865 - bugadani:typeck2, r=jyn514
authorMara Bos <m-ou.se@m-ou.se>
Mon, 8 Feb 2021 18:28:25 +0000 (19:28 +0100)
committerGitHub <noreply@github.com>
Mon, 8 Feb 2021 18:28:25 +0000 (19:28 +0100)
commit9d1e8fe045d8512309fa3303d188ccbf06b9542f
treeb772cfec476469c0839bdcc49ef177f0a5229ec5
parentb376c50aa256e20bdb0b27b28a750a9bb46ea2c1
parent37cbc08a927a85d4da5e04fdf6de3452fc109c58
Rollup merge of #81865 - bugadani:typeck2, r=jyn514

Clean up weird Option mapping
compiler/rustc_typeck/src/check/expr.rs