about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-9/+11
2023-07-13typolcnr-1/+1
2023-07-13refactor proof tree formattinglcnr-57/+63
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-0/+4
2023-07-03Remove chalk from the compilerMichael Goulet-401/+0
2023-06-28Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnrDylan DPC-37/+2
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+2
2023-06-20yeet upcast_trait_def_id from ImplSourceObjectDataMichael Goulet-6/+2
2023-06-20yeet ImplSource::TraitAlias tooMichael Goulet-31/+0
2023-06-20cleanup importslcnr-8/+12
2023-06-19move to nested moduleBoxy-130/+134
2023-06-19show normalizes-to hack and response instantiation goalsBoxy-2/+28
2023-06-19introduce a separate set of types for finalized proof treesBoxy-28/+39
2023-06-19say what kind of cache hitBoxy-3/+10
2023-06-19initial info dumpBoxy-11/+181
2023-06-17Remove even more redundant builtin candidatesMichael Goulet-45/+4
2023-06-17Simplify even more candidatesMichael Goulet-111/+26
2023-06-17Simplify an ObjectData fieldMichael Goulet-6/+6
2023-06-17Simplify some impl source candidatesMichael Goulet-57/+0
2023-06-17Remove some ImplSource candidatesMichael Goulet-31/+10
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+3
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-1/+1
2023-06-01Implement custom diagnostic for ConstParamTyMichael Goulet-0/+3
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+0
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-3/+64
2023-05-25Move DefiningAnchorMichael Goulet-0/+11
2023-05-22Auto merge of #111754 - lcnr:recursion-depth, r=matthewjasperbors-3/+20
2023-05-20Rollup merge of #111450 - compiler-errors:opaque-ty-key, r=oli-obkGuillaume Gomez-1/+1
2023-05-19update recursion depth in `confirm_candidate`lcnr-3/+20
2023-05-12Note base types of coercionMichael Goulet-3/+0
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-1/+1
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-3/+3
2023-04-10Rollup merge of #110124 - Nilstrieb:📎-told-me-so, r=compiler-errorsDylan DPC-2/+2
2023-04-10review + some small stufflcnr-3/+13
2023-04-09Fix some clippy::complexityNilstrieb-2/+2
2023-04-05Tweak debug outputs to make debugging new solver easierMichael Goulet-2/+2
2023-03-21woopslcnr-1/+1
2023-03-21new solver cleanup + coherencelcnr-6/+5
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-03-10Move some solver stuff to middleMichael Goulet-2/+94
2023-03-03canonicalizationlcnr-5/+11
2023-02-24Rename many interner functions.Nicholas Nethercote-11/+9
2023-02-22Remove type-traversal trait aliasesAlan Egerton-10/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 01:34:41 +0000