about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/solve.rs
AgeCommit message (Expand)AuthorLines
2023-09-11inspect: strongly typed CandidateKindlcnr-0/+63
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-2/+2
2023-08-03resolve before canonicalization, ICE if unresolvedMichael Goulet-1/+1
2023-08-03rewrite stack dependent overflow handlinglcnr-2/+2
2023-07-28refactor builtin unsize handling, extend commentslcnr-1/+2
2023-06-20cleanup importslcnr-0/+6
2023-06-19initial info dumpBoxy-9/+11
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-3/+64
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-1/+1
2023-04-26Remove unused `TypeFoldable`/`TypeVisitable` impls.Nicholas Nethercote-1/+1
2023-04-10Rollup merge of #110124 - Nilstrieb:📎-told-me-so, r=compiler-errorsDylan DPC-1/+1
2023-04-10review + some small stufflcnr-3/+13
2023-04-09Fix some clippy::complexityNilstrieb-1/+1
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-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-7/+9
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-2/+2
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-10/+15
2023-02-03intern external constraintsMichael Goulet-0/+55
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 14:31:19 +0000