about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-2/+1
2023-03-23Auto merge of #109202 - compiler-errors:new-solver-fast-reject-faster-2, r=lcnrbors-13/+3
2023-03-23Don't split up TreatProjections and TreatParams anymoreMichael Goulet-13/+3
2023-03-23Rollup merge of #107718 - Zoxc:z-time, r=nnethercoteMatthias Krüger-2/+2
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-15/+18
2023-03-21Reduce output spamJohn Kåre Alsaker-2/+2
2023-03-21Use local key in providersMichael Goulet-9/+4
2023-03-21remove some trait solver helperslcnr-15/+18
2023-03-15always make `define_opaque_types` explicitlcnr-4/+7
2023-03-13Better names?Michael Goulet-5/+8
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-3/+10
2023-03-09Remove body_def_id from InheritedMichael Goulet-2/+2
2023-03-08Dedup copy field errors for identical typesMichael Goulet-0/+8
2023-03-08may not => cannotMichael Goulet-1/+1
2023-03-06emit the suspicious_auto_trait_impls for negative impls as wellMu42-4/+0
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
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-3/+4
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-7/+7
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-6/+6
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-6/+6
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-7/+7
2023-02-14Move query out of path.Camille GILLOT-2/+7
2023-02-14Even less HIR.Camille GILLOT-19/+20
2023-02-14Do not fetch HIR for inherent impls.Camille GILLOT-56/+36
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-13Rollup merge of #107942 - compiler-errors:tighter-inherent-impl-bad-spans, r=...Matthias Krüger-16/+17
2023-02-13Tighter spans for bad inherent impl typesMichael Goulet-16/+17
2023-02-13Make visiting traits generic over the InternerAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-06Modify existing bounds if they existEdward Shen-0/+1
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-30Rollup merge of #107125 - WaffleLapkin:expect_an_item_in_your_hir_by_the_next...Matthias Krüger-4/+2
2023-01-28Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-7/+4
2023-01-20Auto merge of #105102 - compiler-errors:copy-impl-considering-regions, r=lcnrbors-44/+66
2023-01-20Add and use expect methods to hir.Maybe Waffle-4/+2
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-14/+10
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-2/+2
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-2/+2
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-9/+8
2023-01-17`rustc_hir_analysis`: some general code improvementsMaybe Waffle-5/+2
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-2/+3
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-7/+5
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-5/+7
2023-01-13Suggest lifetime bound in illegal Copy implMichael Goulet-43/+63