]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 7970fab 3f831c6)
Rollup merge of #91551 - b-naber:const-eval-normalization-ice, r=oli-obk
authorMatthias Krüger <matthias.krueger@famsik.de>
Wed, 8 Dec 2021 15:08:07 +0000 (16:08 +0100)
committerGitHub <noreply@github.com>
Wed, 8 Dec 2021 15:08:07 +0000 (16:08 +0100)
commit317f750ff76ae680d6891de0a5087e1aa903bc6c
tree7a565f4c946b00116f01e2723b768ea13e621bc9tree | snapshot
parent7970fab252f1bde4bba96142d0843747c6e9b4adcommit | diff
parent3f831c64ccd210754d16d6ab9c287b02e3d3eabecommit | diff
Rollup merge of #91551 - b-naber:const-eval-normalization-ice, r=oli-obk

Allow for failure of subst_normalize_erasing_regions in const_eval

Fixes https://github.com/rust-lang/rust/issues/72845

Using associated types that cannot be normalized previously resulted in an ICE. We now allow for normalization failure and return a "TooGeneric" error in that case.

r? ```@RalfJung``` maybe?
Empowering everyone to build reliable and efficient software.