about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/coherence.rs
AgeCommit message (Expand)AuthorLines
2025-09-18support calls on opaque types :<lcnr-1/+1
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-1/+4
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+4
2025-07-31Move `ImplHeader` out of `rustc_middle`.Nicholas Nethercote-6/+19
2025-07-28use let chains in mir, resolve, targetKivooeo-8/+7
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-0/+1
2025-06-25Compute hard errors without diagnostics in impl_intersection_has_impossible_o...Michael Goulet-17/+26
2025-06-16trait_sel: skip elaboration of sizedness supertraitDavid Wood-0/+1
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-23Obligation::as_goalMichael Goulet-1/+1
2025-03-15Fold visit into tyMichael Goulet-2/+3
2025-02-08Rustfmtbjorn3-23/+30
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-4/+2
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-1/+1
2025-01-17add cache to `AmbiguityCausesVisitor`lcnr-2/+12
2025-01-15avoid running the overlap check twicelcnr-22/+33
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-6/+10
2024-10-21normalizes-to disable infer var checklcnr-0/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-4/+5
2024-10-10impossible obligations check fast pathlcnr-1/+12
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-30/+23
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-2/+2
2024-09-03do not attempt to prove unknowable goalslcnr-72/+66
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-1/+1
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-1/+1
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-10/+11
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-449/+1
2024-07-07Add fundamental to trait defMichael Goulet-1/+1
2024-06-30Uplift fast rejection to new solverMichael Goulet-1/+1
2024-06-15trait_selection: remove extra words许杰友 Jieyou Xu (Joe)-2/+2
2024-06-11Get rid of PredicateObligationsMichael Goulet-4/+2
2024-06-06Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnrbors-1/+0
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+0
2024-06-05Rollup merge of #125871 - fmease:fix-orphanck-opaques, r=lcnrMatthias Krüger-35/+24
2024-06-04Orphanck: Consider opaque types to never cover type parametersLeón Orell Valerian Liehr-35/+24
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-1/+1
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-2/+2
2024-05-13split out AliasTy -> AliasTermMichael Goulet-2/+2
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-41/+38
2024-05-02shallow resolve in orphan checklcnr-27/+26
2024-04-30Auto merge of #117164 - fmease:orphan-norm, r=lcnrbors-65/+112
2024-04-30Normalize trait ref before orphan check & consider ty params in alias types t...León Orell Valerian Liehr-65/+112
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 18:03:17 +0000