about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-02-16Rename some region-specific stuffMichael Goulet-127/+138
2023-02-16be nice and don't sliceMatthias Krüger-2/+2
2023-02-15Rollup merge of #108010 - compiler-errors:can_eq-returns-bool, r=lcnrMatthias Krüger-3/+2
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-54/+54
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-200/+143
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-58/+49
2023-02-14Auto merge of #108056 - matthiaskrgr:rollup-oa6bxvh, r=matthiaskrgrbors-5/+7
2023-02-14Move query out of path.Camille GILLOT-2/+7
2023-02-14Even less HIR.Camille GILLOT-33/+28
2023-02-14Fetch less HIR in signature check.Camille GILLOT-111/+72
2023-02-14Do not fetch HIR for inherent impls.Camille GILLOT-56/+36
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-16/+18
2023-02-14add a `#[rustc_coinductive]` attributelcnr-5/+7
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Rollup merge of #107942 - compiler-errors:tighter-inherent-impl-bad-spans, r=...Matthias Krüger-16/+17
2023-02-13Make can_eq and can_sub return booleansMichael Goulet-3/+2
2023-02-13Tighter spans for bad inherent impl typesMichael Goulet-16/+17
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-7/+7
2023-02-13Make folding traits generic over the InternerAlan Egerton-4/+4
2023-02-13Make visiting traits generic over the InternerAlan Egerton-8/+8
2023-02-13Workaround issue #107747Alan Egerton-1/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-12/+12
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-6/+5
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-0/+3
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+3
2023-02-09Use `ErrorGuaranteed` more in `ReError`Esteban Küber-5/+5
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-14/+6
2023-02-09review commentsEsteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-11/+9
2023-02-09Auto merge of #106938 - GuillaumeGomez:normalize-projection-field-ty, r=oli-obkbors-1/+1
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-2/+2
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
2023-02-03Make const/fn return params more suggestableMichael Goulet-59/+32
2023-02-03Autotrait bounds on dyn-safe trait methodsDavid Tolnay-0/+22
2023-02-03Disallow impl autotrait for trait objectDavid Tolnay-40/+161
2023-01-31Rollup merge of #107486 - compiler-errors:bound-ty-keep-name, r=oli-obkGuillaume Gomez-1/+1
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-52/+58
2023-01-31Auto merge of #106399 - estebank:type-err-span-label, r=nagisabors-0/+1
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
2023-01-30review commentsEsteban Küber-4/+2
2023-01-30Modify primary span label for E0308Esteban Küber-1/+4
2023-01-30Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next...Matthias Krüger-22/+18
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-52/+58
2023-01-30Use `expect_{use,fn}` in a couple of placesMaybe Waffle-2/+2
2023-01-29Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors-2/+2
2023-01-28Auto merge of #107206 - cjgillot:no-h2l-map, r=WaffleLapkinbors-38/+50
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-2/+2
2023-01-28Replace `object_safety_violations().is_empty()` calls with `is_object_safe`Gary Guo-1/+1
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-37/+49
2023-01-28Take a LocalDefId in hir::Visitor::visit_fn.Camille GILLOT-1/+1