about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/transform
AgeCommit message (Expand)AuthorLines
2022-12-24Auto merge of #105085 - oli-obk:stop_promoting_all_the_things, r=RalfJungbors-8/+6
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-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-2/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Don't require owned data in `MaybeStorageLive`Jakob Degen-2/+2
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-11/+2
2022-12-08validate: use the correct reveal during optslcnr-1/+5
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-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-2/+1
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-9/+9
2022-11-27Rollup merge of #104931 - Swatinem:async-pretty, r=eholkMatthias Krüger-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-9/+9
2022-11-27Auto merge of #103917 - oli-obk:layout_math, r=RalfJung,lcnrbors-5/+6
2022-11-26Pretty-print generators with their `generator_kind`Arpad Borsos-1/+1
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-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-2/+2
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-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-57/+2
2022-11-19drive-by: Add is_async fn to hir::IsAsyncMichael Goulet-1/+1
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-15mv utility methods into separate modulelcnr-53/+1
2022-11-15nll: correctly deal with bivariancelcnr-44/+41
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-2/+1
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-2/+1
2022-11-06Auto merge of #103975 - oli-obk:tracing, r=jackh726bors-0/+3
2022-11-05Rollup merge of #103868 - compiler-errors:trait-engine-less, r=jackh726Matthias Krüger-27/+15
2022-11-04Some tracing and comment cleanupsOli Scherer-0/+3
2022-11-04Rollup merge of #103915 - chenyukang:yukang/fix-103874, r=lcnrMatthias Krüger-3/+2
2022-11-03remove 'delay_span_bug' following 'references_error'yukang-3/+2
2022-11-02Use TraitEngine lessMichael Goulet-27/+15
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-9/+3
2022-10-25Auto merge of #102340 - JakobDegen:pass-manager-simplification, r=oli-obkbors-4/+0
2022-10-25Rollup merge of #103122 - ouz-a:mir-technical-debt, r=oli-obkDylan DPC-5/+20
2022-10-23Split phase change from `MirPass`Jakob Degen-4/+0
2022-10-23remove misc_cast and validate typesouz-a-5/+20