about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src
AgeCommit message (Expand)AuthorLines
2022-12-03interpret: clobber return place when calling functionRalf Jung-0/+4
2022-12-02Rollup merge of #105136 - RalfJung:deref-promotion-comment, r=oli-obkMatthias Krüger-4/+4
2022-12-01clarify comment on Deref promotionRalf Jung-4/+4
2022-11-30Close accidental promotion check holeOli Scherer-8/+6
2022-11-30Auto merge of #104905 - compiler-errors:normalization-changes, r=spastorinobors-4/+3
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-4/+3
2022-11-28Rollup merge of #104982 - RalfJung:norun, r=oli-obkMatthias Krüger-6/+1
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-15/+16
2022-11-27Rollup merge of #104931 - Swatinem:async-pretty, r=eholkMatthias Krüger-1/+1
2022-11-27interpret: get rid of run() functionRalf Jung-6/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-15/+16
2022-11-27Auto merge of #103917 - oli-obk:layout_math, r=RalfJung,lcnrbors-17/+10
2022-11-26Pretty-print generators with their `generator_kind`Arpad Borsos-1/+1
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-0/+2
2022-11-25add FIXME'sBoxy-0/+1
2022-11-25Add empty ConstKind::Abstractkadmin-0/+1
2022-11-25Move a comment to the right placeOli Scherer-3/+3
2022-11-25Make the ICEs in the mir typechecker have more spans helpfulOli Scherer-0/+1
2022-11-25More manual formattingOli Scherer-5/+5
2022-11-25`rustc_layout_scalar_valid_range` can be applied to scalar pairs and affects ...Oli Scherer-9/+1
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-22/+9
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-10/+11
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-4/+4
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-4/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-20Rollup merge of #104564 - RalfJung:either, r=oli-obkMatthias Krüger-68/+81
2022-11-19Auto merge of #102795 - lukas-code:constify-is-aligned-via-align-offset, r=ol...bors-53/+140
2022-11-19Revert "don't call `align_offset` during const eval, ever"Lukas Markeffsky-90/+44
2022-11-19fix const `align_offset` implementationLukas Markeffsky-3/+6
2022-11-19replace potential ICE with graceful error (`no_core` only)Lukas Markeffsky-3/+2
2022-11-19don't call `align_offset` during const eval, everLukas Markeffsky-43/+88
2022-11-19make const `align_offset` usefulLukas Markeffsky-23/+106
2022-11-19unify inherent impls of `CompileTimeEvalContext`Lukas Markeffsky-46/+44
2022-11-19constify `exact_div` intrinsicLukas Markeffsky-0/+5
2022-11-19Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-...Matthias Krüger-1/+1
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-60/+70
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-19drive-by: Add is_async fn to hir::IsAsyncMichael Goulet-1/+1
2022-11-18review feedbackRalf Jung-7/+7
2022-11-18interpret: use Either over Result when it is not representing an error conditionRalf Jung-68/+81
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-1/+4
2022-11-16fix #104390, fix ICE in in_operand for ty erroryukang-1/+5
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-1/+4
2022-11-16cleanup and dedupe CTFE and Miri error reportingRalf Jung-57/+79
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-25/+20
2022-11-15use `ocx` type relation routineslcnr-3/+3
2022-11-15add comment about opaque typeslcnr-0/+3