about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect.rs
AgeCommit message (Expand)AuthorLines
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-8/+9
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-1/+1
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-1/+1
2023-06-29change snapshot tracking in fulfillment contextslcnr-1/+1
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-0/+46
2023-06-20Merge attrs, better validationMichael Goulet-2/+44
2023-06-20Make rustc_deny_explicit_impl only local as wellMichael Goulet-1/+3
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-0/+2
2023-06-11properly check associated consts for infer placeholdersMichael Goulet-11/+16
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-2/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-2/+2
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-2/+2
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-17Retire is_foreign_item query.Camille GILLOT-5/+0
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-2/+2
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-2/+4
2023-04-22Don't infer fn return type to return itselfMichael Goulet-11/+20
2023-04-20Remove opt_const_param_of.Camille GILLOT-1/+0
2023-04-16use matches! macro in more placesMatthias Krüger-4/+1
2023-04-11Split implied and super predicate queriesMichael Goulet-3/+4
2023-04-11Split super_predicates_that_define_assoc_type query from super_predicates_ofMichael Goulet-2/+3
2023-04-08Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-110/+55
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-3/+1
2023-03-21Use LocalDefId in ItemCtxtMichael Goulet-16/+12
2023-03-21Use local key in providersMichael Goulet-32/+29
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-1/+1
2023-02-17Auto merge of #107753 - kylematsuda:type-of, r=BoxyUwUbors-3/+3
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-3/+3
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-3/+3
2023-02-17Rollup merge of #107489 - compiler-errors:non_lifetime_binders, r=cjgillotMatthias Krüger-2/+2
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-7/+5
2023-02-16Rename some region-specific stuffMichael Goulet-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-7/+5
2023-02-14add a `#[rustc_coinductive]` attributelcnr-5/+7
2023-02-03Make const/fn return params more suggestableMichael Goulet-20/+12
2023-01-30Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next...Matthias Krüger-2/+1
2023-01-28Rollup merge of #107100 - compiler-errors:issue-107087, r=lcnrMatthias Krüger-1/+5
2023-01-26change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda-3/+4
2023-01-23Use proper InferCtxt when probing for associated types in astconvMichael Goulet-1/+5
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-2/+3
2023-01-20Add and use expect methods to hir.Maybe Waffle-2/+1
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-23/+21
2023-01-19Encode whether foreign opaques are TAITs or notMichael Goulet-0/+11
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-8/+8
2023-01-17`rustc_hir_analysis`: some general code improvementsMaybe Waffle-15/+13