about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2023-01-09Use newtype for unused generic parametersNilstrieb-2/+1
2023-01-04rename find_parent_node to opt_parent_idMichael Goulet-1/+1
2022-12-24Auto merge of #105085 - oli-obk:stop_promoting_all_the_things, r=RalfJungbors-8/+6
2022-12-22Auto merge of #106054 - matthiaskrgr:rollup-38epsfh, r=matthiaskrgrbors-2/+4
2022-12-22Rollup merge of #105847 - compiler-errors:issue-104396, r=oli-obkMatthias Krüger-2/+4
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-3/+12
2022-12-22Auto merge of #106025 - matthiaskrgr:rollup-vz5rqah, r=matthiaskrgrbors-3/+6
2022-12-22Auto merge of #106023 - JohnTitor:rollup-k8mettz, r=JohnTitorbors-6/+17
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-3/+12
2022-12-22Rollup merge of #105602 - RalfJung:read-convenience, r=oli-obkYuki Okushi-6/+17
2022-12-21Auto merge of #105613 - Nilstrieb:rename-assert_uninit_valid, r=RalfJungbors-2/+4
2022-12-21Forbid `RetagKind::TwoPhase` as wellJakob Degen-2/+2
2022-12-21Clarify that raw retags are not permitted in MirJakob Degen-3/+6
2022-12-18Rollup merge of #105875 - matthiaskrgr:needless_borrowed_reference, r=oli-obkMatthias Krüger-1/+1
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-18avoid .into() conversion to identical typesMatthias Krüger-9/+6
2022-12-17Ensure param-env is const before calling eval_to_valtreeMichael Goulet-2/+4
2022-12-15simplify alignment_check_failed a bitRalf Jung-14/+5
2022-12-15Reuse the ctfe error emitting logic for the future incompat lintOli Scherer-17/+22
2022-12-15Factor decorate closure out into a methodOli Scherer-70/+65
2022-12-15Move alignment failure error reporting to machineOli Scherer-42/+47
2022-12-15Make alignment checks a future incompat lintOli Scherer-47/+110
2022-12-15Always pass alignment and handle checking lazilyOli Scherer-9/+17
2022-12-15always check alignment during CTFERalf Jung-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-2/+2
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-16/+10
2022-12-13Rollup merge of #105659 - JakobDegen:storage-live-borrow, r=davidtwcoMatthias Krüger-2/+2
2022-12-13Combine identical alias armsMichael Goulet-14/+8
2022-12-13Combine projection and opaque into aliasMichael Goulet-12/+12
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-4/+4
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-3/+3
2022-12-13Rename `assert_uninit_valid` intrinsicNilstrieb-2/+4
2022-12-13Don't require owned data in `MaybeStorageLive`Jakob Degen-2/+2
2022-12-13Clarify what "this" meansOli Scherer-15/+3
2022-12-12interpret: add read_machine_[ui]size convenience methodsRalf Jung-6/+17
2022-12-11Rollup merge of #105537 - kadiwa4:remove_some_imports, r=fee1-deadMatthias Krüger-11/+0
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-11/+0
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-13/+3
2022-12-09Auto merge of #105486 - matthiaskrgr:rollup-o7c4l1c, r=matthiaskrgrbors-1/+5
2022-12-09Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726Matthias Krüger-1/+5
2022-12-09Auto merge of #104449 - oli-obk:unhide_unknown_spans, r=estebank,RalfJungbors-18/+6
2022-12-08validate: use the correct reveal during optslcnr-1/+5
2022-12-06Change CTFE backtraces to use `note` instead of `label` to preserve their orderOli Scherer-3/+3
2022-12-06Remove now-redundant file/line info from const backtracesOli Scherer-15/+3
2022-12-06make retagging work even with 'unstable' placesRalf Jung-6/+49
2022-12-06Rollup merge of #105289 - Rageking8:fix-dupe-word-typos, r=cjgillotYuki Okushi-1/+1
2022-12-06Rollup merge of #105207 - RalfJung:interpret-clobber-return, r=oli-obkYuki Okushi-0/+4
2022-12-05fix dupe word typosRageking8-1/+1