about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-09-23Check types live across yields in generators tooMichael Goulet-1/+3
2023-09-23Check that closure's by-value captures are sizedMichael Goulet-0/+2
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-0/+3
2023-09-18Remove more unused `Lift` impls.Nicholas Nethercote-9/+2
2023-09-18Remove unused `Lift` derives.Nicholas Nethercote-12/+12
2023-08-14Move scrutinee `HirId` into `MatchSource::TryDesugar`Esteban Küber-2/+1
2023-08-14Point at return type when it influences non-first `match` armEsteban Küber-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-5/+5
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-21/+18
2023-07-25Make everything builtin!Michael Goulet-52/+28
2023-07-25Restore tuple unsizing feature gateMichael Goulet-3/+9
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-4/+4
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-0/+4
2023-07-03Remove chalk from the compilerMichael Goulet-5/+0
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-4/+0
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-19/+0
2023-06-20cleanup importslcnr-6/+0
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-0/+6
2023-06-19initial info dumpBoxy-1/+1
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-36/+3
2023-06-17Simplify even more candidatesMichael Goulet-75/+26
2023-06-17Simplify an ObjectData fieldMichael Goulet-4/+4
2023-06-17Simplify some impl source candidatesMichael Goulet-37/+0
2023-06-17Remove some ImplSource candidatesMichael Goulet-22/+7
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+3
2023-06-01Implement custom diagnostic for ConstParamTyMichael Goulet-0/+3
2023-05-25Move DefiningAnchorMichael Goulet-0/+11
2023-05-19update recursion depth in `confirm_candidate`lcnr-3/+20
2023-05-12Note base types of coercionMichael Goulet-3/+0
2023-05-09Shrink `SelectionError` a lotNilstrieb-5/+8
2023-05-04Use fulfillment to check Drop impl compatibilityMichael Goulet-0/+4
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-5/+2
2023-04-28Rollup merge of #110927 - nnethercote:Encoder-Decoder-cleanups, r=scottmcmMatthias Krüger-7/+7
2023-04-28Remove some unnecessary derives.Nicholas Nethercote-7/+7
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-09Fix some clippy::complexityNilstrieb-1/+1
2023-03-20Enforce non-lifetime-binders in supertrait preds are not object safeMichael Goulet-2/+11
2023-03-14Remove box expressions from HIRclubby789-2/+0
2023-02-16Clarify `DerivedObligationCause` may hold alias idAlan Egerton-1/+5
2023-02-06Rollup merge of #106477 - Nathan-Fenner:nathanf/refined-error-span-trait-impl...Matthias Krüger-0/+2
2023-02-03intern external constraintsMichael Goulet-0/+1
2023-01-27Impl HashStable/Encodable/Decodable for ObligationCause.Camille GILLOT-10/+18
2023-01-23Point at specific field in struct literal when trait fulfillment failsNathan Fenner-0/+2
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-5/+6
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-25move 2 candidates into builtin candidatelcnr-23/+0
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-0/+20
2022-11-19Improve spans for RPITIT object-safety errorsMichael Goulet-2/+8