summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Collapse)AuthorLines
2022-11-26Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errorsGuillaume Gomez-2/+2
Use the power of adding helper function to simplify code w/ `Mutability` r? `@compiler-errors`
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-2/+2
2022-11-23Add `Mutability::{is_mut,is_not}`Maybe Waffle-1/+1
2022-11-23Depend on `Mutability` orderingMaybe Waffle-1/+1
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-53/+0
Allow opaque types in trait impl headers and rely on coherence to reject unsound cases r? ````@lcnr```` fixes #99840
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-1/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-3/+2
2022-11-21Use iterators instead of slices at more sitesOli Scherer-2/+2
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject ↵Oli Scherer-53/+0
unsound cases
2022-11-14Add rustc_deny_explicit_implMichael Goulet-50/+16
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-2/+2
2022-11-04Rollup merge of #103915 - chenyukang:yukang/fix-103874, r=lcnrMatthias Krüger-3/+1
Improve use of ErrorGuaranteed and code cleanup Part of #103874
2022-11-03change error_reported to use Result instead of an optionyukang-3/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-12/+12
spastorino noticed some silly expressions like `item_id.def_id.def_id`. This commit renames several `def_id: OwnerId` fields as `owner_id`, so those expressions become `item_id.owner_id.def_id`. `item_id.owner_id.local_def_id` would be even clearer, but the use of `def_id` for values of type `LocalDefId` is *very* widespread, so I left that alone.
2022-10-20Add fix suggestions for E0199, E0200, and E0569Nicolas Barrios-0/+30
2022-10-16Auto merge of #102931 - camsteffen:inline-overlapping-impls, r=cjgillotbors-6/+5
Make `overlapping_impls` not generic Trying to win back perf from #101632.
2022-10-13Make overlapping_impls non-genericCameron Steffen-6/+5
This improves perf
2022-10-13Report duplicate definition in impls with overlap check.Camille GILLOT-6/+35
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-331/+314
2022-10-07Introduce TypeErrCtxtCameron Steffen-3/+4
TypeErrCtxt optionally has a TypeckResults so that InferCtxt doesn't need to.
2022-10-01Refactor rustc lint APIMaybe Waffle-11/+12
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+1951