summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
2023-02-24rustc_infer: Consolidate obligation elaboration de-duplicationPatrik Kårlin-16/+15
2023-02-22Remove type-traversal trait aliasesAlan Egerton-5/+12
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+3
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-1/+1
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-3/+3
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+3
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-24/+26
2023-01-27Pacify tidy.Camille GILLOT-1/+1
2023-01-27Compute generator saved locals on MIR.Camille GILLOT-0/+8
2023-01-27Separate trait selection from ambiguity reporting.Camille GILLOT-2/+13
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-24/+26
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-1/+2
2023-01-22Store relationships on InherentSantiago Pastorino-3/+0
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-4/+5
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-17Rollup merge of #106829 - compiler-errors:more-alias-combine, r=spastorinoMatthias Krüger-11/+2
2023-01-13Unify Opaque/Projection handling in region outlives codeMichael Goulet-11/+2
2023-01-13Keep obligation chain when elaborating obligationsEsteban Küber-3/+15
2022-12-18don't restuct references just to reborrowMatthias Krüger-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-2/+2
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-2/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-14/+17
2022-11-24Remove normalize_projection_typeSantiago Pastorino-8/+0
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+1
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-13/+16
2022-10-28Remove #![allow(rustc::potential_query_instability)] from rustc_inferCastilloDel-2/+2
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-9/+8
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-2/+10
2022-09-22Rollup merge of #102037 - jyn514:normalize-docs, r=lcnrDylan DPC-0/+3
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-2/+10
2022-09-19Make cycle errors recoverableJoshua Nelson-0/+3
2022-09-16remap ParamEnv with obligationDeadbeef-0/+8
2022-07-28anonymize all bound vars, not just regionslcnr-2/+2
2022-07-23Remap elaborated obligation constnessDeadbeef-1/+6
2022-07-15remove tcx from ObligationCauseCode::spanMichael Goulet-4/+1
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-8/+9
2022-07-08Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiserbors-1/+1
2022-07-06replace `guess_head_span` with `def_span`Takayuki Maeda-3/+5
2022-07-06Update TypeVisitor pathsAlan Egerton-2/+2
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+3
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-30use a method instead of manually doing what its body doesOli Scherer-1/+1
2022-06-29avoid many `&str` to `String` conversions with `MultiSpan::push_span_label`Takayuki Maeda-2/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-06 20:57:02 +0000