about summary refs log tree commit diff
path: root/compiler/rustc_traits
AgeCommit message (Expand)AuthorLines
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-1/+1
2021-03-18Fix use of bare trait objects everywhereVadim Petrochenkov-1/+1
2021-03-03Fix testsRyan Levick-1/+1
2021-02-18Rollup merge of #82066 - matthewjasper:trait-ref-fix, r=jackh726Dylan DPC-5/+2
2021-02-14Rollup merge of #82029 - tmiasko:debug, r=matthewjasperDylan DPC-1/+1
2021-02-14bumped smallvec depsklensy-1/+1
2021-02-13Make ProjectionTy::trait_ref truncate substs againMatthew Jasper-5/+2
2021-02-13Use debug log level for developer oriented logsTomasz Miąsko-1/+1
2021-02-02Update ChalkJack Huey-9/+5
2021-02-01Upgrade ChalkJack Huey-18/+127
2021-01-18Use ty::{IntTy,UintTy,FloatTy} in rustcLeSeulArtichaut-44/+42
2021-01-16Review changesJack Huey-75/+75
2021-01-16Use no_bound_varsJack Huey-6/+4
2021-01-16CleanupJack Huey-20/+8
2021-01-16CleanupJack Huey-1/+1
2021-01-16Remove PredicateKindJack Huey-1/+1
2021-01-16Intermediate formatting and suchJack Huey-8/+6
2021-01-16Remove PredicateKind::AtomJack Huey-2/+6
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-18Don't run `resolve_vars_if_possible` in `normalize_erasing_regions`Joshua Nelson-3/+9
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-5/+5
2020-11-16compiler: fold by valueBastian Kauschke-22/+22
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-5/+5
2020-11-09Rollup merge of #78502 - matthewjasper:chalkup, r=nikomatsakisDylan DPC-295/+307
2020-10-30Auto merge of #78182 - LeSeulArtichaut:ty-visitor-contolflow, r=lcnr,oli-obkbors-5/+7
2020-10-30Address review comment and update chalk to 0.36.0Matthew Jasper-32/+32
2020-10-30Fix various Chalk lowering bugsMatthew Jasper-42/+128
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-253/+179
2020-10-30Fix some more clippy warningsJoshua Nelson-21/+21
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-5/+5
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{mir,privacy,traits,typeck}LeSeulArtichaut-5/+7
2020-10-16Review commentsJack Huey-8/+20
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-21/+13
2020-10-14Address commentsRoxane-0/+9
2020-10-11Replace tuple of infer vars for upvar_tys with single infer varRoxane-5/+19
2020-10-08Update chalk to 0.32.0Bram van den Heuvel-3/+3
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in comp...Jack Huey-39/+56
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-06Fix bugs in evaluating WellFormed predicatesMatthew Jasper-2/+2
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-5/+100
2020-09-27Update chalk to 0.29.0Bram van den Heuvel-3/+3
2020-09-24Upgrade chalk to 0.28.0Bram van den Heuvel-38/+94
2020-09-24Update chalk to 0.27.0Bram van den Heuvel-3/+4
2020-09-24Update chalk to 0.26.0Bram van den Heuvel-15/+20
2020-09-24Update chalk to 0.25.0Bram van den Heuvel-3/+3