about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/solve.rs
AgeCommit message (Expand)AuthorLines
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