about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk/mod.rs
AgeCommit message (Expand)AuthorLines
2023-07-03Remove chalk from the compilerMichael Goulet-169/+0
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-02-24Add `mk_canonical_var_infos_from_iter`.Nicholas Nethercote-20/+17
2023-02-24Rename many interner functions.Nicholas Nethercote-2/+2
2023-02-22Remove type-traversal trait aliasesAlan Egerton-1/+1
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-01-30Track bound types like bound regionsMichael Goulet-4/+2
2023-01-26Intern CanonicalVarValuesMichael Goulet-10/+8
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-4/+4
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+2
2022-02-11Reverse parameter to placeholder substitution in chalk resultsMatthew Jasper-3/+4
2022-02-11Stop using a placeholder for empty regions in ChalkMatthew Jasper-13/+4
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-2/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+2
2022-01-12Canonicalize const variables correctlyMichael Goulet-4/+4
2021-12-22Update chalk to 0.75.0pierwill-7/+6
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-2/+2
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-2/+2
2021-03-03Fix testsRyan Levick-1/+1
2021-02-02Update ChalkJack Huey-1/+0
2021-02-01Upgrade ChalkJack Huey-5/+34
2020-12-27fix: small typo error in chalk/mod.rs0xflotus-1/+1
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-1/+1
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-4/+5
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in comp...Jack Huey-7/+2
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-5/+4
2020-09-04Review commentsJack Huey-11/+12
2020-09-04More chalk workJack Huey-95/+26
2020-09-04Upgrade chalk to 0.21Jack Huey-6/+5
2020-08-30mv compiler to compiler/mark-0/+229