about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/predicate.rs
AgeCommit message (Collapse)AuthorLines
2024-03-11Rename `IntoDiagnosticArg` as `IntoDiagArg`.Nicholas Nethercote-11/+11
Also rename `into_diagnostic_arg` as `into_diag_arg`, and `NotIntoDiagnosticArg` as `NotInotDiagArg`.
2024-02-28Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`.Nicholas Nethercote-7/+7
2024-02-13Uplift TypeVisitableExt into rustc_type_irMichael Goulet-0/+12
2024-02-12Dejargnonize substShoyu Vanilla-15/+15
2024-01-30Move predicate, region, and const stuff into their own modules in middleMichael Goulet-0/+1062