]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: a8e3afe 8295e4a)
Rollup merge of #88709 - BoxyUwU:thir-abstract-const, r=lcnr
authorManish Goregaokar <manishsmail@gmail.com>
Sun, 12 Sep 2021 10:44:56 +0000 (03:44 -0700)
committerGitHub <noreply@github.com>
Sun, 12 Sep 2021 10:44:56 +0000 (03:44 -0700)
commitf5ac5cadd3d426cbf9a67dfe1c21a7d404cd2423
tree6309929aa2d74a733e154b06a113e0336801f450tree | snapshot
parenta8e3afe3720cc4772aa49e1f7f494c60b81f07a1commit | diff
parent8295e4a6cfb12ce74c480172c2854f76d1428b8bcommit | diff
Rollup merge of #88709 - BoxyUwU:thir-abstract-const, r=lcnr

generic_const_exprs: use thir for abstract consts instead of mir

Changes `AbstractConst` building to use `thir` instead of `mir` so that there's less chance of consts unifying when they shouldn't because lowering to mir dropped information (see `abstract-consts-as-cast-5.rs` test)

r? `@lcnr`
compiler/rustc_metadata/src/rmeta/decoder.rs diff1 | diff2 | blob | history
compiler/rustc_metadata/src/rmeta/decoder/cstore_impl.rs diff1 | diff2 | blob | history
compiler/rustc_metadata/src/rmeta/encoder.rs diff1 | diff2 | blob | history
compiler/rustc_metadata/src/rmeta/mod.rs diff1 | diff2 | blob | history
compiler/rustc_middle/src/mir/mod.rs diff1 | diff2 | blob | history
compiler/rustc_middle/src/query/mod.rs diff1 | diff2 | blob | history
compiler/rustc_mir_transform/src/lib.rs diff1 | diff2 | blob | history
compiler/rustc_query_impl/src/on_disk_cache.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/traits/object_safety.rs diff1 | diff2 | blob | history
compiler/rustc_trait_selection/src/traits/select/mod.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.