about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2023-04-02Use `&IndexSlice` instead of `&IndexVec` where possibleScott McMurray-3/+3
2023-04-01slighty simplify a few boolean expressions (clippy::nonminimal_bool)Matthias Krüger-2/+1
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-1/+1
2023-03-29Rename `IndexVec::last` → `last_index`Scott McMurray-2/+2
2023-03-28Move const trait bounds checks to MIR constckDeadbeef-25/+26
2023-03-25Refactor: `VariantIdx::from_u32(0)` -> `FIRST_VARIANT`Scott McMurray-2/+2
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-0/+27
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-2/+5
2023-03-21Use local key in providersMichael Goulet-2/+2
2023-03-21remove some trait solver helperslcnr-2/+5
2023-03-16Auto merge of #108944 - cjgillot:clear-local-info, r=oli-obkbors-4/+5
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-9/+0
2023-03-14Remove LocalKind::Var.Camille GILLOT-3/+4
2023-03-14Wrap the whole LocalInfo in ClearCrossCrate.Camille GILLOT-1/+1
2023-03-10Auto merge of #108977 - matthiaskrgr:rollup-1bnl1hu, r=matthiaskrgrbors-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-1/+1
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+9
2023-03-08Rollup merge of #108856 - Zeegomo:remove-drop-and-rep, r=tmiaskoMatthias Krüger-31/+2
2023-03-07remove leftover commentGiacomo Pasini-3/+0
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-28/+2
2023-03-06Rollup merge of #108786 - saethlin:free-regions-check, r=oli-obkMatthias Krüger-0/+11
2023-03-06Rollup merge of #107801 - davidtwco:stability-implies-const, r=NilstriebMatthias Krüger-4/+12
2023-03-05Check for free regions in MIR validationBen Kimock-0/+11
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-3/+1
2023-03-03Match end user facing unmatched backticks in compiler/est31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-3/+1
2023-02-27Implement checked Shl/Shr at MIR building.Camille GILLOT-9/+0
2023-02-27Auto merge of #108175 - cjgillot:validate-storage, r=tmiaskobors-2/+20
2023-02-25Explain that this is UB catching instead of malformed MIR.Camille GILLOT-0/+7
2023-02-25MIR-Validate StorageLive.Camille GILLOT-2/+13
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-3/+3
2023-02-17Rollup merge of #108154 - scottmcm:start-block-cleanup, r=compiler-errorsMatthias Krüger-1/+1
2023-02-16`BasicBlock::new(0)` -> `START_BLOCK` [no functional changes]Scott McMurray-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-2/+2
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-18/+20
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-10revert #107074lcnr-1/+10
2023-02-08const_eval: `implies_by` in `rustc_const_unstable`David Wood-4/+12
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
2023-02-05rustc_const_eval: remove huge error importsest31-37/+35
2023-02-02Stop deaggregating enums in MIR.Camille GILLOT-17/+5
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-1/+1
2023-01-30Replace some `_ == _ || _ == _`s with `matches!(_, _ | _)`sMaybe Waffle-1/+1
2023-01-29Auto merge of #106227 - bryangarza:ctfe-limit, r=oli-obkbors-0/+2
2023-01-27Remember where a type was kept in MIR.Camille GILLOT-2/+2
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-1/+1
2023-01-26replace usages of fn_sig query with bound_fn_sigKyle Matsuda-1/+1
2023-01-26Rollup merge of #107074 - lcnr:validate-dont-skip-opaque, r=compiler-errorsMatthias Krüger-6/+1