about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2023-03-28Add `(..)` syntax for RTNMichael Goulet-2/+2
2023-03-28Compute bound vars correctlyMichael Goulet-1/+53
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-7/+4
2023-03-23Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-SimulacrumDylan DPC-1/+1
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-11/+11
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-73/+76
2023-03-21Use local key in providersMichael Goulet-36/+41
2023-03-21Rollup merge of #109385 - lcnr:typo, r=Dylan-DPCnils-1/+1
2023-03-20fix typolcnr-1/+1
2023-03-19Reformat type_ofMichael Goulet-23/+30
2023-03-19Only expect a GAT const argMichael Goulet-5/+10
2023-03-17Remove VecMapMichael Goulet-1/+1
2023-03-16Install projection from RPITIT to default trait method opaque correctlyMichael Goulet-14/+22
2023-03-13Don't ICE for late-bound consts across AnonConstBoundaryMichael Goulet-7/+7
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-12/+43
2023-03-06Implement type_of for RPITITs assoc typeSantiago Pastorino-1/+20
2023-03-06Properly implement explicit_item_bounds for RPITITs trait assoc tySantiago Pastorino-11/+23
2023-03-05Rollup merge of #108746 - compiler-errors:rpitit-dont-project-default-w-no-va...Matthias Krüger-2/+2
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-3/+3
2023-03-04Don't project to RPITIT that has no default valueMichael Goulet-2/+2
2023-03-03Rollup merge of #108553 - compiler-errors:non-lt-late-bound-in-anon-ct, r=pet...Matthias Krüger-5/+57
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-3/+3
2023-02-28Only look for param in generics if it actually comes from genericsMichael Goulet-36/+45
2023-02-28Deny capturing late-bound non-lifetime param in anon constMichael Goulet-5/+57
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-8/+6
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-8/+11
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-22Convert a hard-warning about named static lifetimes into lint "unused_lifetimes"Zhi Qi-22/+24
2023-02-18Move late-bound arg type checks to resolve_bound_varsMichael Goulet-39/+106
2023-02-17add predicate evaluation logicBoxy-5/+52
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-12/+13
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-12/+13
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-7/+7
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-185/+229
2023-02-16Auto merge of #108127 - matthiaskrgr:rollup-kpzfc6j, r=matthiaskrgrbors-7/+2
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-2/+2
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-7/+2
2023-02-16A bit more work on late-bound constsMichael Goulet-5/+1
2023-02-16Make things actually workMichael Goulet-83/+120
2023-02-16Rename some region-specific stuffMichael Goulet-118/+129
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-02-03Make const/fn return params more suggestableMichael Goulet-33/+14
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-27/+33
2023-01-28Take a LocalDefId in hir::Visitor::visit_fn.Camille GILLOT-1/+1