about summary refs log tree commit diff
path: root/compiler/rustc_next_trait_solver/src/coherence.rs
AgeCommit message (Collapse)AuthorLines
2025-09-02Migrate more things in the new solver to specific `DefId`sChayim Refael Friedman-1/+15
2025-08-25Switch next solver to use a specific associated type for trait def idChayim Refael Friedman-1/+1
The compiler just puts `DefId` in there, but rust-analyzer uses different types for each kind of item.
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
By splitting the `FnSig` within `TyKind::FnPtr` into `FnSigTys` and `FnHeader`, which can be packed more efficiently. This reduces the size of the hot `TyKind` type from 32 bytes to 24 bytes on 64-bit platforms. This reduces peak memory usage by a few percent on some benchmarks. It also reduces cache misses and page faults similarly, though this doesn't translate to clear cycles or wall-time improvements on CI.
2024-07-12rustc_next_trait_solver: derivative -> derive-wherePavel Grigorenko-4/+3
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+469