summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2022-05-12Auto merge of #95562 - lcnr:attr-no-encode, r=davidtwcobors-17/+13
2022-05-11Remove `PartialOrd`/`Ord` impl for `PlaceRef`Aaron Hill-2/+3
2022-05-10only_local: always check for misuselcnr-17/+13
2022-05-09Auto merge of #96815 - SparrowLii:promote_const, r=oli-obkbors-42/+52
2022-05-09use `Result<(),()>` instead of Validity enumSparrowLii-54/+35
2022-05-07optimize `promote_consts` by cache the validate checkSparrowLii-41/+70
2022-05-06Check that field projections have the correct typeJakob Degen-1/+55
2022-05-06Expand validator to be more precise on checked binary opsJakob Degen-3/+41
2022-04-30Eliminate duplication of RPO calculation for mirSparrowLii-2/+2
2022-04-22Relax restrictions for copy operandsJakob Degen-1/+2
2022-04-13Consider lifetimes when comparing types for equality in MIR validatorJakob Degen-4/+3
2022-04-11Remove rule that place loads may not happen with variant index setJakob Degen-5/+2
2022-04-11Address various comments and change some details around place to value conver...Jakob Degen-1/+1
2022-04-11Adjust MIR validator to check a few more things for terminatorsJakob Degen-5/+19
2022-04-11Extend the MIR validator to check many more things around rvalues.Jakob Degen-39/+161
2022-04-11Adjust computation of place types to detect more invalid placesJakob Degen-1/+9
2022-04-11Add new `Deinit` statement kindJakob Degen-3/+19
2022-04-10Avoid accessing HIR from MIR queries.Camille GILLOT-14/+4
2022-03-30Auto merge of #95466 - Dylan-DPC:rollup-g7ddr8y, r=Dylan-DPCbors-2/+2
2022-03-30Spellchecking some commentsYuri Astrakhan-2/+2
2022-03-28Normalize all projections in mir validation againOli Scherer-1/+6
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-8/+16
2022-03-26Auto merge of #95149 - cjgillot:once-diag, r=estebankbors-2/+2
2022-03-23Clarify which kinds of MIR are allowed during which phases.Jakob Degen-28/+48
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-9/+7
2022-03-20Take &mut Diagnostic in emit_diagnostic.Camille GILLOT-2/+2
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+3
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-6/+6
2022-03-07Stabilize const_impl_trait as wellEric Holk-22/+0
2022-03-07Remove dead/useless codeEric Holk-58/+0
2022-03-07Update tests after feature stabilizationEric Holk-59/+0
2022-03-07Stabilize const_fn_fn_ptr_basics and const_fn_trait_boundEric Holk-125/+4
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-34/+34
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-28/+136
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-9/+11
2022-02-21Rollup merge of #94143 - est31:let_else_const_eval, r=lcnrMatthias Krüger-14/+8
2022-02-19rustc_const_eval: adopt let else in more placesest31-14/+8
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-3/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-2/+2
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-2/+2
2022-02-12Report the selection error when possibleDeadbeef-15/+36
2022-02-12Adapt new changeDeadbeef-4/+11
2022-02-12Handle Fn family trait call errrorDeadbeef-2/+39
2022-02-12Rebased and improved errorsDeadbeef-1/+1
2022-02-12Improve error messages even moreDeadbeef-126/+241
2022-02-12More informative error message for E0015Deadbeef-49/+51
2022-02-11add tainted_by_errors to mir::BodyMichael Goulet-5/+8
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-17/+8
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-8/+17
2022-02-02Fixup changes that aren't neccessary anymoreOli Scherer-2/+2