summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-03-11Rollup merge of #40404 - cengizIO:master, r=nikomatsakisAriel Ben-Yehuda-8/+13
2017-03-10fix #40294 obligation cause.body_id is not always a NodeExprCengiz Can-8/+13
2017-03-08Disallow subtyping between T and U in T: Unsize<U>.Eduard-Mihai Burtescu-3/+3
2017-03-02Auto merge of #39655 - durka:recursion-limit-suggestion, r=nikomatsakisbors-1/+1
2017-03-02note -> helpAlex Burka-1/+1
2017-02-28Rollup merge of #39977 - frewsxcv:error-reporting-cleanup, r=eddybCorey Farwell-261/+217
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-36/+7
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-165/+13
2017-02-25rustc: simplify tcx.closure_type(...) as it can copy the cached values.Eduard-Mihai Burtescu-2/+4
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-10/+12
2017-02-25rustc: introduce a query system for type information in ty::maps.Eduard Burtescu-1/+1
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-1/+1
2017-02-20Flatten `for` loop using iterator combinators.Corey Farwell-48/+50
2017-02-20Add early return, remove `else`, unindent.Corey Farwell-40/+40
2017-02-20Extract out error message generation.Corey Farwell-33/+21
2017-02-20Remove unnecessary logic when finding simpilar `impl` candidates.Corey Farwell-31/+3
2017-02-20Remove `else`, unindent.Corey Farwell-46/+45
2017-02-20Rewrite `match` to use combinators.Corey Farwell-8/+4
2017-02-20Remove `else`, unindent.Corey Farwell-110/+109
2017-02-18Auto merge of #39887 - nikomatsakis:issue-39292, r=arielb1bors-0/+5
2017-02-18Auto merge of #39877 - estebank:remove-params, r=petrochenkovbors-2/+2
2017-02-16erase late bound regions in `get_vtable_methods()`Niko Matsakis-0/+5
2017-02-15Remove noop method `Substs::params()`Esteban Küber-2/+2
2017-02-14Show five traits implementation in help when there are exactly fiveSebastian Waisbrot-3/+6
2017-02-07Rollup merge of #39361 - cengizIO:master, r=arielb1Corey Farwell-13/+65
2017-02-04Remove extra note and revert name in messageCengiz Can-12/+22
2017-02-04Improve error message for uninferrable types #38812Cengiz Can-18/+60
2017-02-03Use a proper future-compatibility lintAndrew Cann-7/+6
2017-02-03Add is_defaulted_unit helper methodAndrew Cann-3/+1
2017-02-03Add warning for () to ! switchAndrew Cann-9/+56
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-16/+7
2017-01-26Auto merge of #39309 - eddyb:map-shmap, r=nikomatsakisbors-3/+3
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-3/+3
2017-01-24Remove Reflectest31-57/+3
2017-01-20Auto merge of #38603 - arielb1:supertrait-self-3, r=nikomatsakisbors-5/+15
2017-01-13Use multiline Diagnostic for "relevant impl" listEsteban Küber-8/+10
2017-01-11forbid all self-referencing predicatesAriel Ben-Yehuda-4/+12
2017-01-11traits with self-containing supertraits are not object safeAriel Ben-Yehuda-2/+4
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-5/+5
2016-12-20Rollup merge of #38150 - estebank:fix-23286, r=nikomatsakisAlex Crichton-8/+38
2016-12-14review commentsEsteban Küber-10/+24
2016-12-12Auto merge of #38057 - KiChjang:display-formal-type-param, r=nikomatsakisbors-8/+36
2016-12-11Auto merge of #38249 - arielb1:special-substs, r=nikomatsakisbors-0/+1
2016-12-08Point out the known type when field doesn't satisfy boundEsteban Küber-7/+23
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-16/+9
2016-12-05erase lifetimes when translating specialized substsAriel Ben-Yehuda-0/+1
2016-12-03Display better error messages for E0282Keith Yeung-3/+17
2016-12-03Add TypeVariableOrigin enumKeith Yeung-5/+19
2016-12-03Auto merge of #38059 - arielb1:no-mere-overflow, r=nikomatsakisbors-1/+1
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-18/+20