about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/coherence.rs
AgeCommit message (Expand)AuthorLines
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-1/+4
2025-03-15Fold visit into tyMichael Goulet-2/+3
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