about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence/mod.rs
AgeCommit message (Expand)AuthorLines
2025-07-03compiler: document all provide fn in hir_analysis and hir_typeckJubilee Young-0/+1
2025-04-01Decouple trait impls of different traits wrt incrementalOli Scherer-1/+4
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-2/+1
2025-03-04Ensure that negative auto impls are always applicableMichael Goulet-9/+17
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-5/+1
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-2/+2
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-2/+1
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-6/+6
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-2/+1
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-1/+1
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+2
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-1/+3
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-3/+3
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-1/+1
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-3/+4
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-3/+4
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-1/+5
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-11Simplify some nested if statementsMichael Goulet-11/+9
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+1
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-2/+3
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-2/+1
2024-03-11Rollup merge of #121840 - oli-obk:freeze, r=dtolnayJacob Pratt-0/+14
2024-03-07Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader`Yoshitomo Nakanishi-4/+5
2024-02-29Forbid implementing `Freeze` even if the trait is stabilizedOli Scherer-0/+14
2024-02-13Don't reinvoke `trait_header` query twiceOli Scherer-1/+1
2024-02-13Invoke `trait_def` query only onceOli Scherer-8/+11
2024-02-13Store impl unsafety in impl trait headerOli Scherer-4/+4
2024-02-12Auto merge of #120835 - oli-obk:no_hir_coherence, r=cjgillotbors-2/+3
2024-02-12Auto merge of #120834 - oli-obk:only_local_coherence, r=lcnrbors-1/+3
2024-02-10Allow restricted trait impls in macros with `min_specialization`Zalathar-2/+6
2024-02-09Don't reinvoke `impl_trait_ref` query after it was already invokedOli Scherer-1/+1
2024-02-09Avoid accessing the HIR in the happy path of `coherent_trait`Oli Scherer-1/+2
2024-02-09A trait's local impls are trivially coherent if there are no impls.Oli Scherer-1/+3
2024-01-29Stop using `String` for error codes.Nicholas Nethercote-2/+2
2024-01-23Remove track_errors entirelyOli Scherer-25/+30
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-1/+1
2024-01-10Rename `struct_span_err!` as `struct_span_code_err!`.Nicholas Nethercote-4/+4
2024-01-08Make `DiagnosticBuilder::emit` consuming.Nicholas Nethercote-1/+1
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-4/+4
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-06-20Make rustc_deny_explicit_impl only local as wellMichael Goulet-2/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-04-25Fix static string lintsclubby789-7/+2
2023-04-21Allow `LocalDefId` as the argument to `def_path_str`Oli Scherer-1/+1
2023-03-21Reduce output spamJohn Kåre Alsaker-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1