about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/traits/chalk.rs
AgeCommit message (Collapse)AuthorLines
2023-07-03Remove chalk from the compilerMichael Goulet-396/+0
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-1/+1
2023-01-17Don't call closures immediately, use `try{}` blocksMaybe Waffle-11/+13
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-37/+28
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-2/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-1/+1
This commit makes `AdtDef` use `Interned`. Much the commit is tedious changes to introduce getter functions. The interesting changes are in `compiler/rustc_middle/src/ty/adt.rs`.
2021-12-22Update chalk to 0.75.0pierwill-30/+31
- Compute flags in `intern_ty` - Remove tracing-serde from PERMITTED_DEPENDENCIES - Disable `tracing-full` feature in `chalk-solve` - Bump tracing-tree to 0.2.0
2021-02-02Update ChalkJack Huey-4/+21
2021-02-01Upgrade ChalkJack Huey-0/+15
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-42/+26
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-27/+3
2020-09-04Review commentsJack Huey-23/+19
2020-09-04More chalk workJack Huey-0/+38
2020-09-04Upgrade chalk to 0.21Jack Huey-0/+15
2020-08-30mv compiler to compiler/mark-0/+362