about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk
AgeCommit message (Collapse)AuthorLines
2021-10-08clippy::complexity fixesMatthias Krüger-1/+1
2021-08-26make unevaluated const substs optionallcnr-4/+5
2021-08-26require a `tcx` for `TypeVisitor`lcnr-2/+12
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-13move Constness into TraitPredicateDeadbeef-4/+4
2021-06-23Use HTTPS links where possibleSmitty-1/+1
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-17/+21
2021-03-31Add tcx lifetime to BinderJack Huey-6/+11
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-1/+1
This currently creates a field which is always false on GenericParamDefKind for future use when consts are permitted to have defaults Update const_generics:default locations Previously just ignored them, now actually do something about them. Fix using type check instead of value Add parsing This adds all the necessary changes to lower const-generics defaults from parsing. Change P<Expr> to AnonConst This matches the arguments passed to instantiations of const generics, and makes it specific to just anonymous constants. Attempt to fix lowering bugs
2021-03-03Fix testsRyan Levick-1/+1
2021-02-13Make ProjectionTy::trait_ref truncate substs againMatthew Jasper-5/+2
Also make sure that type arguments of associated types are printed in some error messages.
2021-02-02Update ChalkJack Huey-3/+2
2021-02-01Upgrade ChalkJack Huey-15/+120
2021-01-18Use ty::{IntTy,UintTy,FloatTy} in rustcLeSeulArtichaut-44/+42
2021-01-16Review changesJack Huey-50/+50
2021-01-16CleanupJack Huey-20/+8
2020-12-27fix: small typo error in chalk/mod.rs0xflotus-1/+1
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-45/+35
2020-12-11Move binder for dyn to each list itemJack Huey-29/+34
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-5/+5
Introduce `TypeVisitor::BreakTy` Implements MCP rust-lang/compiler-team#383. r? `@ghost` cc `@lcnr` `@oli-obk` ~~Blocked on FCP in rust-lang/compiler-team#383.~~
2020-11-16compiler: fold by valueBastian Kauschke-15/+15
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-5/+5
2020-11-09Rollup merge of #78502 - matthewjasper:chalkup, r=nikomatsakisDylan DPC-292/+304
Update Chalk to 0.36.0 This PR updates Chalk and fixes a number of bugs in the chalk integration code. cc `@rust-lang/wg-traits` r? `@nikomatsakis`
2020-10-30Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obkbors-5/+6
TypeVisitor: use `std::ops::ControlFlow` instead of `bool` Implements MCP rust-lang/compiler-team#374. Blocked on FCP in rust-lang/compiler-team#374. r? `@lcnr` cc `@jonas-schievink`
2020-10-30Address review comment and update chalk to 0.36.0Matthew Jasper-29/+29
2020-10-30Fix various Chalk lowering bugsMatthew Jasper-42/+128
- Add more well-known traits - Use the correct binders when lowering trait objects - Use correct substs when lowering trait objects - Use the correct binders for opaque_ty_data - Lower negative impls with the correct polarity - Supply associated type values - Use `predicates_defined_on` for where clauses
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-250/+176
2020-10-30Fix some more clippy warningsJoshua Nelson-20/+20
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-5/+5
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{mir,privacy,traits,typeck}LeSeulArtichaut-5/+6
2020-10-16Review commentsJack Huey-8/+20
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-21/+13
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in ↵Jack Huey-36/+53
compare mode chalk don't finish.
2020-10-06Deduplicate some codeMatthew Jasper-24/+15
2020-10-06Fix tests from rebaseMatthew Jasper-1/+4
2020-10-06Fix rebaseMatthew Jasper-5/+11
2020-10-06Fix rebaseMatthew Jasper-14/+14
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-5/+100
2020-09-24Upgrade chalk to 0.28.0Bram van den Heuvel-35/+91
2020-09-24Update chalk to 0.27.0Bram van den Heuvel-0/+1
2020-09-24Update chalk to 0.26.0Bram van den Heuvel-12/+17
2020-09-16Rollup merge of #76641 - nox:pointee-random-stuff, r=eddybRalf Jung-15/+5
Some cleanup changes and commenting r? @nikomatsakis Cc @eddyb
2020-09-12Clean up some language trait items comparisonsAnthony Ramine-15/+5
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-65/+51
2020-09-04kind -> kind()Jack Huey-1/+1
2020-09-04Review commentsJack Huey-108/+111
2020-09-04More chalk workJack Huey-345/+454
2020-09-04Upgrade chalk to 0.21Jack Huey-102/+105
2020-09-04Change ty.kind to a methodLeSeulArtichaut-5/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 16:01:50 +0000