about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2023-12-10Revert "Don't print host effect param in pretty path_generic_args"Deadbeef-26/+33
2023-12-10filter out trailing effect param in `own_args_no_defaults`Deadbeef-0/+2
2023-12-10Auto merge of #118788 - compiler-errors:const-pretty, r=fee1-deadbors-41/+38
2023-12-10remove redundant importssurechen-38/+14
2023-12-09Auto merge of #118308 - Nadrieril:sound-exhaustive-patterns-take-3, r=compile...bors-10/+31
2023-12-09Print constness in TraitPredPrintModifiersAndPathMichael Goulet-3/+6
2023-12-09s/const_effect/host_effectMichael Goulet-5/+6
2023-12-09Don't print host effect param in pretty path_generic_argsMichael Goulet-33/+26
2023-12-09Auto merge of #116170 - matthewjasper:remove-thir-destruction-scopes, r=cjgillotbors-8/+2
2023-12-09Rollup merge of #118198 - Zalathar:if-not, r=cjgillotJubilee-0/+8
2023-12-09Auto merge of #118763 - matthiaskrgr:rollup-mgyf5hp, r=matthiaskrgrbors-16/+78
2023-12-09Detect cycles in `InhabitedPredicate::apply`Nadrieril-10/+31
2023-12-08Rollup merge of #117586 - compiler-errors:the-canonicalizer, r=lcnrMatthias Krüger-16/+78
2023-12-08Auto merge of #117681 - Zoxc:tcx-sync, r=compiler-errorsbors-1/+13
2023-12-08FeedbackMichael Goulet-49/+33
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-8/+86
2023-12-08Implement `async gen` blocksMichael Goulet-3/+22
2023-12-08Auto merge of #118689 - compiler-errors:const-drop, r=fee1-deadbors-3/+3
2023-12-08coverage: Add `CoverageKind::SpanMarker` for including extra spans in MIRZalathar-0/+8
2023-12-08Auto merge of #118725 - lcnr:normalizes-to-projection-split-3, r=BoxyUwUbors-0/+57
2023-12-08implement and use `NormalizesTo`lcnr-1/+7
2023-12-07Auto merge of #118568 - DianQK:no-builtins-symbols, r=pnkfelixbors-0/+5
2023-12-07Explicitly implement `DynSync` and `DynSend` for `TyCtxt`John Kåre Alsaker-1/+13
2023-12-07Auto merge of #118324 - RalfJung:ctfe-read-only-pointers, r=saethlinbors-60/+153
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+51
2023-12-07also print 'immutable' flagRalf Jung-25/+12
2023-12-07ctfe interpreter: extend provenance so that it can track whether a pointer is...Ralf Jung-44/+150
2023-12-07Fix const drop checkingMichael Goulet-3/+3
2023-12-07Auto merge of #118685 - compiler-errors:stack-dependent, r=lcnrbors-10/+10
2023-12-07Auto merge of #118684 - compiler-errors:yeet-poly-gen-sig, r=spastorinobors-15/+2
2023-12-06Rollup merge of #118660 - cuviper:alloc_str, r=petrochenkovMatthias Krüger-3/+1
2023-12-06EvaluatedToUnknown -> EvaluatedToAmbigStackDependent, EvaluatedToRecur -> Eva...Michael Goulet-10/+10
2023-12-06Yeet PolyGenSigMichael Goulet-15/+2
2023-12-06Auto merge of #118605 - fee1-dead-contrib:rm-rustc_host, r=compiler-errorsbors-1/+1
2023-12-05rustc_arena: add `alloc_str`Josh Stone-3/+1
2023-12-05Add print_trait_sugaredMichael Goulet-1/+45
2023-12-05Remove `#[rustc_host]`, use internal desugaringDeadbeef-1/+1
2023-12-04Don't include destruction scopes in THIRMatthew Jasper-8/+2
2023-12-04Avoid adding compiler-used functions to `symbols.o`DianQK-0/+5
2023-12-03rustc: Harmonize `DefKind` and `DefPathData`Vadim Petrochenkov-5/+6
2023-12-02fix an ICE when a valtree failed to evaluateRalf Jung-2/+10
2023-12-02Auto merge of #118470 - nnethercote:cleanup-error-handlers, r=compiler-errorsbors-33/+37
2023-12-02Rename `LayoutCalculator::delay_bug` as `LayoutCalculator::delayed_bug`.Nicholas Nethercote-1/+1
2023-12-02Rename `Handler::delay_good_path_bug` as `Handler::good_path_delayed_bug`.Nicholas Nethercote-1/+1
2023-12-02Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`.Nicholas Nethercote-31/+35
2023-12-01vis note for no pub reexports glob importbohan-0/+17
2023-11-30Auto merge of #118379 - compiler-errors:const-params-for-partialeq, r=fee1-deadbors-0/+51
2023-11-29Rollup merge of #118333 - eduardosm:print-missing-target-features, r=est31Matthias Krüger-3/+10
2023-11-29Rollup merge of #118157 - Nadrieril:never_pat-feature-gate, r=compiler-errorsMatthias Krüger-2/+11
2023-11-29Add `never_patterns` feature gateNadrieril-2/+11