summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2023-04-12region error cleanuplcnr-5/+2
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+3
2023-03-21RPITITs are DefKind::Opaque with new lowering strategyMichael Goulet-2/+10
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-3/+3
2023-03-21Use local key in providersMichael Goulet-1/+1
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-09Remove body_def_id from InheritedMichael Goulet-2/+2
2023-03-08Tweak E0740Michael Goulet-20/+8
2023-03-08Don't report E0740 for type errorMichael Goulet-1/+3
2023-03-05Rollup merge of #108764 - cjgillot:dpm-adapt, r=compiler-errorsMatthias Krüger-0/+8
2023-03-05drop_tracking_mir: diagnose recursive generator.Camille GILLOT-0/+8
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-2/+1
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-4/+36
2023-02-23Auto merge of #108324 - notriddle:notriddle/assoc-fn-method, r=compiler-error...bors-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+3
2023-02-22diagnostics: if AssocFn has self argument, describe as methodMichael Howell-1/+1
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-5/+5
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-9/+9
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-8/+8
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-5/+5
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-69/+40
2023-02-14Even less HIR.Camille GILLOT-12/+6
2023-02-14Fetch less HIR in signature check.Camille GILLOT-62/+37
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-13/+15
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+2
2023-02-09Auto merge of #106938 - GuillaumeGomez:normalize-projection-field-ty, r=oli-obkbors-1/+1
2023-01-31Rollup merge of #107467 - WaffleLapkin:uneq, r=oli-obkGuillaume Gomez-48/+55
2023-01-30review commentsEsteban Küber-4/+2
2023-01-30Modify primary span label for E0308Esteban Küber-1/+4
2023-01-30Replace enum `==`s with `match`es where it makes senseMaybe Waffle-48/+55
2023-01-28Remove `HirId -> LocalDefId` map from HIR.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-3/+35
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-2/+1
2023-01-21Label closure captures/generator locals that make opaque types recursiveMichael Goulet-6/+53
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-8/+6
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-8/+6
2023-01-16Add missing normalization for union fields typesGuillaume Gomez-1/+1
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+2
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-1/+1
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+1
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-5/+5
2022-12-28Rename module compare_method -> compare_impl_itemMichael Goulet-2/+2
2022-12-27Emit fewer errors on invalid `#[repr(transparent)]` on `enum`Esteban Küber-4/+2
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1