summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-7/+4
2024-03-15Rollup merge of #122527 - fmease:clean-up-hir-ty-lowering, r=compiler-errorsMatthias Krüger-2/+1
2024-03-15Clean up AstConvLeón Orell Valerian Liehr-2/+1
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-7/+4
2024-03-14Auto merge of #120943 - petrochenkov:somehir3, r=oli-obkbors-0/+1
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-0/+1
2024-03-11Revert "Auto merge of #122140 - oli-obk:track_errors13, r=davidtwco"Oli Scherer-3/+5
2024-03-11Auto merge of #122338 - workingjubilee:rollup-xzpt4v4, r=workingjubileebors-31/+0
2024-03-11Rollup merge of #119385 - fmease:assoc-const-eq-fixes-2, r=oli-obk,cjgillotJubilee-31/+0
2024-03-11Never bail out early while running all the type check queriesOli Scherer-5/+3
2024-03-08Rollup merge of #122100 - compiler-errors:better-capture, r=oli-obkMatthias Krüger-28/+40
2024-03-08Improve error message for opaque capturesMichael Goulet-28/+40
2024-03-08Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkovMatthias Krüger-22/+16
2024-03-08Rename some functions to represent their generalized behaviorMichael Goulet-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-53/+7
2024-03-06Rollup merge of #122027 - compiler-errors:rpitit-cycle, r=spastorinoMatthias Krüger-15/+61
2024-03-05Use `ControlFlow` in HIR visitorsJason Newcomb-22/+16
2024-03-06Auto merge of #122041 - matthiaskrgr:rollup-imsmdke, r=matthiaskrgrbors-20/+8
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-9/+4
2024-03-05Move visitor utils to `rustc_ast_ir`Jason Newcomb-1/+1
2024-03-05Merge `impl_trait_in_assoc_types_defined_by` query back into `opaque_types_de...Oli Scherer-20/+8
2024-03-05Uplift some feeding out of associated_type_for_impl_trait_in_impl and into qu...Michael Goulet-15/+61
2024-03-03Add a proper `with_no_queries` to printingJohn Kåre Alsaker-1/+1
2024-02-29Overhaul how stashed diagnostics work, again.Nicholas Nethercote-13/+9
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-7/+6
2024-02-26Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-1/+1
2024-02-25Rollup merge of #121409 - compiler-errors:atb-cycle, r=cjgillotMatthias Krüger-8/+22
2024-02-23Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnrMatthias Krüger-1/+1
2024-02-23Revert some `span_bug`s to `span_delayed_bug`.Nicholas Nethercote-1/+1
2024-02-22Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnrMatthias Krüger-18/+25
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-5/+7
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-18/+23
2024-02-21Prevent cycle in implied predicates computationMichael Goulet-8/+22
2024-02-21Use existing query feeding workaroundsOli Scherer-18/+0
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-6/+5
2024-02-18Propagate the resolved type of assoc const bindings via query feedingLeón Orell Valerian Liehr-29/+16
2024-02-18Auto merge of #120780 - fmease:lta-in-impls, r=oli-obkbors-1/+1
2024-02-17Properly check constrainedness of gen params in the presence of weak alias typesLeón Orell Valerian Liehr-1/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-10/+2
2024-02-13Bump `indexmap`clubby789-1/+2
2024-02-12Dejargnonize substShoyu Vanilla-2/+3
2024-02-10hir: Remove `hir::Map::{opt_parent_id,parent_id,get_parent,find_parent}`Vadim Petrochenkov-7/+6
2024-02-08Auto merge of #120767 - matthiaskrgr:rollup-0k8ib1c, r=matthiaskrgrbors-0/+2
2024-02-08Rollup merge of #120206 - petrochenkov:somehir, r=compiler-errorsMatthias Krüger-0/+2
2024-02-08Already poison the `type_of` result of the anon const used in the `typeof` ex...Oli Scherer-2/+14
2024-02-07Record coroutine kind in genericsMichael Goulet-3/+10
2024-02-07hir: Make sure all `HirId`s have corresponding HIR `Node`sVadim Petrochenkov-0/+2
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-1/+7
2024-02-06Make async closures directly lower to ClosureKind::CoroutineClosureMichael Goulet-0/+1