]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #74364 - lcnr:lazy-norm-tests, r=nikomatsakis
authorManish Goregaokar <manishsmail@gmail.com>
Fri, 17 Jul 2020 21:09:16 +0000 (14:09 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 21:09:16 +0000 (14:09 -0700)
commit344b5e06fabab3e0634866a810d5fc57fcaac616
treecaad4c7ad1f2dc2fbbbfdebbfd04e6bee9548e92
parentc9010d6e85b06ad8b337d2ae1ffc1554faffc7c0
parent526945915b3745168d192bcb2c7fb1428815a9bb
Rollup merge of #74364 - lcnr:lazy-norm-tests, r=nikomatsakis

add lazy normalization regression tests

We previously didn't have simple tests which fail if we aren't careful around lazy normalization.

We now do.