about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/coherence
AgeCommit message (Expand)AuthorLines
2025-10-01added error for closures case in implKivooeo-9/+10
2025-09-15Remove UnsizedConstParamTy trait and make it into an unstable impltiif-12/+3
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-08-11Propagate TraitImplHeader to hirCameron Steffen-4/+6
2025-07-31remove rustc_attr_data_structuresJana Dönszelmann-1/+2
2025-07-18Rollup merge of #143699 - compiler-errors:async-drop-fund, r=oli-obkMatthias Krüger-1/+5
2025-07-09Make AsyncDrop check that it's being implemented on a local ADTMichael Goulet-1/+5
2025-07-09Port `#[rustc_allow_incoherent_impl]` to the new attribute systemPavel Grigorenko-2/+9
2025-07-04Fix elided lifetimes in rustdocMichael Goulet-1/+1
2025-07-04Rollup merge of #143308 - compiler-errors:no-pointer-like, r=oli-obkMatthias Krüger-99/+0
2025-07-03compiler: document all provide fn in hir_analysis and hir_typeckJubilee Young-0/+1
2025-07-03Remove PointerLike traitMichael Goulet-99/+0
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+2
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-5/+5
2025-05-13Some require_lang_item -> is_lang_item replacementsOli Scherer-4/+2
2025-04-24Remove `weak` alias terminologyBoxy-3/+3
2025-04-22Use `is_lang_item` and `as_lang_item` instead of handrolling their logicOli Scherer-1/+1
2025-04-15Move `name` field from `AssocItem` to `AssocKind` variants.Nicholas Nethercote-4/+4
2025-04-15Move two methods from `AssocKind` to `AssocItem`.Nicholas Nethercote-1/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-04-01Decouple trait impls of different traits wrt incrementalOli Scherer-1/+4
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-47/+16
2025-03-15Stop relying on rustc_type_ir in non-type-system cratesMichael Goulet-6/+8
2025-03-12Move methods from `Map` to `TyCtxt`, part 4.Nicholas Nethercote-11/+11
2025-03-04Ensure that negative auto impls are always applicableMichael Goulet-9/+17
2025-02-24Rollup merge of #137289 - compiler-errors:coerce-unsized-errors, r=oli-obkMichael Goulet-77/+93
2025-02-24Deduplicate CoerceUnsized and DispatchFromDyn impl errorsMichael Goulet-3/+13
2025-02-24Simplify trait error message for CoercePointee validationMichael Goulet-47/+69
2025-02-24Consolidate and rework CoercePointee and DispatchFromDyn errorsMichael Goulet-40/+27
2025-02-24More eagerly bail in DispatchFromDyn validationMichael Goulet-25/+22
2025-02-24Remove dyn_compatible_for_dispatchMichael Goulet-5/+1
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-1/+1
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-3/+3
2025-02-11Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compi...Matthias Krüger-0/+33
2025-02-09move repr(transparent) checks to coherenceDing Xiang Fei-0/+3
2025-02-09rename the trait to validity and place a feature gate afrontDing Xiang Fei-8/+10
2025-02-09introduce CoercePointeeWellformed for coherence checks at typeck stageDing Xiang Fei-0/+28
2025-02-08Rustfmtbjorn3-8/+12
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-3/+3
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-2/+1
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-2/+1
2025-01-31Use `.and` chaining to improve readability.Nicholas Nethercote-6/+6
2025-01-31Merge two `match` arms that are identical.Nicholas Nethercote-11/+6
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-5/+2
2025-01-27Use identifiers in diagnostics more oftenMichael Goulet-4/+4
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-2/+1
2025-01-22Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnrMatthias Krüger-1/+1
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-1/+1
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-1/+1
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-09 20:55:25 +0000