summary refs log tree commit diff
path: root/compiler/rustc_infer/src/traits
AgeCommit message (Expand)AuthorLines
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-4/+4
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-1/+1
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-4/+4
2023-05-04Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obkDylan DPC-0/+4
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-1/+1
2023-05-02Make negative trait bounds work with the old trait solverMichael Goulet-0/+4
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-25Replace `tcx.mk_trait_ref` with `ty::TraitRef::new`Maybe Waffle-1/+1
2023-04-21Break up long function in trait selection error reportingBryan Garza-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-16use matches! macro in more placesMatthias Krüger-4/+4
2023-04-13Rollup merge of #110220 - lcnr:regionzz, r=compiler-errorsMatthias Krüger-0/+2
2023-04-12Rollup merge of #110103 - compiler-errors:new-solver-overflows, r=lcnrMatthias Krüger-4/+9
2023-04-12`#[must_use]` for fns returning a list of errorslcnr-0/+2
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-15/+26
2023-04-11Split implied and super predicate queriesMichael Goulet-1/+1
2023-04-11Split super_predicates_that_define_assoc_type query from super_predicates_ofMichael Goulet-4/+2
2023-04-10Report overflows gracefully with new solverMichael Goulet-4/+9
2023-04-06Get rid of elaborate_trait_ref{s} tooMichael Goulet-17/+7
2023-04-06Make elaborator genericMichael Goulet-92/+117
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-35/+43
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-03-21evaluate: improve and fix recursion depth handlinglcnr-0/+10
2023-03-10Move some solver stuff to middleMichael Goulet-0/+6
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-03 15:38:06 +0000