about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2024-06-28address review commentsDeadbeef-1/+1
2024-06-28general fixups and turn `TODO`s into `FIXME`sDeadbeef-5/+10
2024-06-28Implement `Self::Effects: Compat<HOST>` desugaringDeadbeef-3/+20
2024-06-28move desugaring to item boundsDeadbeef-31/+26
2024-06-28Implement `Min` trait in new solverDeadbeef-1/+1
2024-06-28implement new effects desugaringDeadbeef-15/+62
2024-06-27Make queries more explicitMichael Goulet-7/+7
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-2/+2
2024-06-22Rollup merge of #126686 - fmease:dump-preds-n-item-bounds, r=compiler-errorsGuillaume Gomez-18/+46
2024-06-22Add `#[rustc_dump_{predicates,item_bounds}]`León Orell Valerian Liehr-0/+25
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-20Slightly refactor the dumping of HIR analysis dataLeón Orell Valerian Liehr-18/+21
2024-06-19Allow tracing through item_bounds query invocations on opaquesOli Scherer-1/+1
2024-06-12Rollup merge of #126340 - fee1-dead-contrib:fix-predicates_of-comments, r=com...Michael Goulet-5/+4
2024-06-12Fix outdated predacates_of.rs commentsDeadbeef-5/+4
2024-06-12Rollup merge of #126228 - BoxyUwU:nested_repeat_expr_generics, r=compiler-errorsGuillaume Gomez-5/+21
2024-06-12Require any function with a tait in its signature to actually constrain a hid...Oli Scherer-2/+13
2024-06-10Correct parent for nested anon constsBoxy-5/+21
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-6/+7
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-2/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-06-05Unify optional param info with object lifetime default boolean into an enum t...Oli Scherer-5/+8
2024-06-05Use a `LocalDefId` for `HirTyLowerer::item_def_id`, since we only ever (can) ...Oli Scherer-1/+0
2024-06-04Handle safety keyword for extern block inner itemsSantiago Pastorino-2/+2
2024-06-04Rollup merge of #125667 - oli-obk:taintify, r=TaKO8KiMichael Goulet-1/+3
2024-05-31Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=com...Matthias Krüger-20/+18
2024-05-30Rename HIR `TypeBinding` to `AssocItemConstraint` and related cleanupLeón Orell Valerian Liehr-20/+18
2024-05-28Create const block DefIds in typeck instead of ast loweringOli Scherer-7/+6
2024-05-28Allow type_of to return partially non-error types if the type was already tai...Oli Scherer-1/+3
2024-05-27Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726Guillaume Gomez-8/+8
2024-05-27Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercotebors-2/+3
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-1/+1
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-8/+8
2024-05-24Actually just remove the special case altogetherMichael Goulet-75/+47
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-1/+1
2024-05-23Remove `LintDiagnostic::msg`León Orell Valerian Liehr-2/+3
2024-05-16Make P parameter explicitMichael Goulet-13/+12
2024-05-16Rename ToPredicate for UpcastMichael Goulet-10/+10
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-2/+4
2024-05-13split out AliasTy -> AliasTermMichael Goulet-2/+4
2024-05-13Remove `extern crate rustc_middle` from `rustc_hir_analysis`.Nicholas Nethercote-1/+5
2024-05-09Rename Generics::params to Generics::own_paramsMichael Goulet-28/+30
2024-04-29Avoid some `def_span` query callsOli Scherer-13/+9
2024-04-21also remap RPITITs nested in other types back to their opaquesLukas Markeffsky-2/+2
2024-04-17Don't repeatedly duplicate TAIT lifetimes for each subsequently nested TAITMichael Goulet-6/+9
2024-04-17Rollup merge of #122813 - nnethercote:nicer-quals, r=compiler-errorsMatthias Krüger-13/+9
2024-04-16Avoid lots of `hir::HirId{,Map,Set}` qualifiers.Nicholas Nethercote-12/+8
2024-04-16Avoid unnecessary `rustc_span::DUMMY_SP` usage.Nicholas Nethercote-1/+1
2024-04-15Use a path instead of an ident (and stop manually resolving)Michael Goulet-3/+13
2024-04-15Add hir::Node::PreciseCapturingNonLifetimeArgMichael Goulet-2/+2