about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2023-02-22Auto merge of #108340 - eggyal:remove_traversal_trait_aliases, r=oli-obkbors-7/+11
2023-02-22Remove type-traversal trait aliasesAlan Egerton-7/+11
2023-02-22errors: generate typed identifiers in each crateDavid Wood-9/+13
2023-02-21Auto merge of #107728 - RalfJung:miri-dyn-star, r=RalfJung,oli-obkbors-71/+177
2023-02-20Minimal changes to make miri workRune Tynan-8/+17
2023-02-20Fix alloc_base_addr typeRune Tynan-1/+1
2023-02-20Allow non-`Box` allocations in preparation for aligned const allocations for ...Rune Tynan-20/+36
2023-02-20Revert most of the custom place computation, it was unnecessary.Oli Scherer-15/+10
2023-02-20Remove commented out codeOli Scherer-2/+0
2023-02-20Deduplicate some logic between dyn* and dynOli Scherer-46/+37
2023-02-20basic dyn* support for MiriRalf Jung-73/+195
2023-02-18Stop implementing _with_overflow intrinsics in codegen backends.Camille GILLOT-11/+0
2023-02-18Rename checked_binop_checks_overflow.Camille GILLOT-5/+6
2023-02-18Adapt interpreter.Camille GILLOT-15/+3
2023-02-18Fix CTFE interpreter.Camille GILLOT-1/+1
2023-02-18Adapt interpreter.Camille GILLOT-1/+7
2023-02-18Auto merge of #108112 - nnethercote:clarify-iterator-interners, r=oli-obk,com...bors-1/+1
2023-02-17Rollup merge of #108154 - scottmcm:start-block-cleanup, r=compiler-errorsMatthias Krüger-1/+1
2023-02-17Replace `mk_foo` calls with `infer_foo` where possible.Nicholas Nethercote-1/+1
2023-02-16`BasicBlock::new(0)` -> `START_BLOCK` [no functional changes]Scott McMurray-1/+1
2023-02-16changes from reviewKyle Matsuda-1/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-4/+4
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-2/+2
2023-02-16Auto merge of #108096 - matthiaskrgr:rollup-ncexzf6, r=matthiaskrgrbors-43/+43
2023-02-15Auto merge of #108012 - compiler-errors:issue-107999, r=oli-obkbors-26/+28
2023-02-15Rollup merge of #108047 - oli-obk:machine->🞋, r=RalfJungMatthias Krüger-43/+43
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-1/+2
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-43/+43
2023-02-14Make permit_uninit/zero_init fallibleMichael Goulet-31/+28
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-2/+2
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+2
2023-02-14Rollup merge of #108044 - RalfJung:from-addr-invalid, r=oli-obkMatthias Krüger-2/+2
2023-02-14interpret: rename Pointer::from_addr → from_addr_invalidRalf Jung-2/+2
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-21/+26
2023-02-14Don't ICE in might_permit_raw_init if reference is polymorphicMichael Goulet-2/+7
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-4/+4
2023-02-10revert #107074lcnr-1/+10
2023-02-09Avoid some `tls::with` calls.Nicholas Nethercote-1/+1
2023-02-08const_eval: `implies_by` in `rustc_const_unstable`David Wood-7/+22
2023-02-08Rollup merge of #107769 - compiler-errors:pointer-like, r=eholkMatthias Krüger-1/+1
2023-02-07Auto merge of #107768 - matthiaskrgr:rollup-9u4cal4, r=matthiaskrgrbors-16/+15
2023-02-07Rename PointerSized to PointerLikeMichael Goulet-1/+1
2023-02-07Rollup merge of #107756 - RalfJung:miri-out-of-addresses, r=oli-obkMatthias Krüger-16/+15
2023-02-07Rollup merge of #107555 - edward-shen:edward-shen/dup-trait-suggestion, r=com...Matthias Krüger-0/+1
2023-02-07miri: fix ICE when running out of address spaceRalf Jung-16/+15
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
2023-02-06interpret: move discriminant reading and writing to separate fileRalf Jung-234/+245
2023-02-05rustc_const_eval: remove huge error importsest31-37/+35