about summary refs log tree commit diff
path: root/compiler/rustc_const_eval
AgeCommit message (Expand)AuthorLines
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-26/+26
2023-01-17Self review suggestionsMaybe Waffle-26/+33
2023-01-17Review suggestionsMaybe Waffle-3/+3
2023-01-17Undo questionable changesMaybe Waffle-24/+25
2023-01-17tidyWaffle Maybe-1/+1
2023-01-17`rustc_const_eval`: remove `ref` patterns (+some pattern matching imps)Maybe Waffle-144/+130
2023-01-16Avoid trivial checks on cleanup control flow in MIR validatorJakob Degen-4/+11
2023-01-16Add cycle checking to cleanup control flow validationJakob Degen-18/+47
2023-01-16Document wf constraints on control flow in cleanup blocksJakob Degen-5/+57
2023-01-12fix fmt and blessDeadbeef-1/+1
2023-01-12fix fn_sig iceDeadbeef-2/+13
2023-01-12attempt to make a minimal example workDeadbeef-0/+16
2023-01-12suggest adding const_trait_impl if error because of thatDeadbeef-1/+13
2023-01-11Rollup merge of #106648 - Nilstrieb:poly-cleanup, r=compiler-errorsnils-2/+1
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-1/+1
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