about summary refs log tree commit diff
path: root/src/librustc/traits/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2019-04-28Fix lint findings in librustcflip1995-2/+2
2019-04-10Suggest removing `?` to resolve type errors.David Wood-0/+2
2019-03-15rustc: make util::ppaux private.Eduard-Mihai Burtescu-2/+3
2019-02-14Rollup merge of #58267 - estebank:match-arms, r=matthewjasperMazdak Farrokhzad-3/+14
2019-02-08review comments: (marginally) reduce memory consumtionEsteban Küber-4/+9
2019-02-07Reweork incompatible match arms errorEsteban Küber-3/+9
2019-02-05move librustc to 2018Mark Mansi-11/+11
2019-01-13Suggest removal of semicolon when appropriateEsteban Küber-1/+5
2019-01-13Tweak output of type mismatch between "then" and `else` `if` armsEsteban Küber-1/+1
2019-01-12Point at the match discriminant when arm pattern has a type mismatchEsteban Küber-0/+3
2018-12-27Handle sub-typing in chalk-enginescalexm-0/+3
2018-12-27Implement "lifetime juggling" methods from chalk integration traitscalexm-2/+26
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-03pass the parameter environment to `traits::find_associated_item`Ariel Ben-Yehuda-2/+2
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-1/+1
2018-11-13Reorder code in `rustc::traits::structural_impls`scalexm-340/+340
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-4/+34
2018-11-13Pretty print quantified goals and clausesscalexm-5/+144
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-6/+36
2018-10-25preserve const eval error information through trait error systemRalf Jung-1/+1
2018-10-25Report const eval error inside the queryOliver Schneider-3/+1
2018-10-17Categorize chalk clausesscalexm-2/+7
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-1/+37
2018-10-08Pass around interned refs to goals and not goalsscalexm-17/+17
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-21/+21
2018-09-26Auto merge of #54199 - nikomatsakis:predicate_may_hold-failure, r=eddybbors-1/+1
2018-09-18A few cleanups and minor improvements to rustc/traitsljedrz-21/+21
2018-08-29Remove `AccumulateVec` and its uses.Nicholas Nethercote-3/+3
2018-08-29Replace bug! call with OverflowGuillaume Gomez-1/+1
2018-08-22Rename ty::Slice to ty::Listvarkor-2/+2
2018-08-19Add notes on unsized argument errors.Masaki Hara-0/+1
2018-08-15fix error for unsized packed struct fieldRalf Jung-1/+1
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-1/+3
2018-06-04Refactor the chalkify lowering processscalexm-30/+73
2018-05-24implement the chalk traits, albeit with many placeholdersNiko Matsakis-144/+214
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
2018-05-15Feature gate trivial boundsMatthew Jasper-0/+1
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-5/+5
2018-04-26Remove the stored obligation in OverflowError to simplify thingsAravind Gollakota-1/+1
2018-04-26Refactor overflow handling in traits::select to propagate overflow instead of...Aravind Gollakota-0/+1
2018-04-23add `Goal::CannotProve` and extract `ProgramClause` structNiko Matsakis-0/+2
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-0/+2
2018-04-12traits: Implement interning for Goal and ClauseTatsuyuki Ishi-0/+34
2018-03-30Tweak `Clause` definition and HRTBsscalexm-16/+26
2018-03-14Address niko's nitsscalexm-119/+71
2018-03-14Add MVP for chalkificationscalexm-0/+183
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+0
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-236/+45
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-3/+0
2018-01-29Require yield types to be sizedJohn Kåre Alsaker-0/+3