about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/coherence.rs
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+3
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-1/+1
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-4/+3
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+469