summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2017-04-24Fix type error.Without Boats-1/+1
2017-04-24Add compile-fail test.Without Boats-1/+1
2017-04-23Associated consts are not object safe.Without Boats-0/+9
2017-04-23Auto merge of #41486 - arielb1:select-where, r=eddybbors-1/+6
2017-04-23traits::select: quickly filter out predicates from other traitsAriel Ben-Yehuda-1/+6
2017-04-23clean-up adt_sized_constraint now that it uses on-demandAriel Ben-Yehuda-5/+3
2017-04-22bail out of selection when there are multiple surviving candidatesAriel Ben-Yehuda-7/+7
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-2/+2
2017-04-21move the uses of the trans caches into rustc::traitsNiko Matsakis-4/+143
2017-04-21move the trans trait caches into tcxNiko Matsakis-0/+74
2017-04-20Rollup merge of #41377 - nikomatsakis:issue-41298-ICE-inference, r=eddybCorey Farwell-8/+17
2017-04-20Rollup merge of #41214 - estebank:less-multiline, r=petrochenkovCorey Farwell-15/+13
2017-04-19propagate other obligations that were left outNiko Matsakis-4/+13
2017-04-19propagate obligations during overlap checkNiko Matsakis-4/+4
2017-04-19Auto merge of #41325 - eddyb:isolate-snapshots-for-good, r=arielb1bors-2/+2
2017-04-18change note for patternsCengiz Can-1/+1
2017-04-18fixes #40013Cengiz Can-41/+84
2017-04-15rustc: ban registering obligations during InferCtxt snapshots.Eduard-Mihai Burtescu-2/+2
2017-04-15Remove MethodMatchResult and MethodMatchedData.Mark Simulacrum-31/+0
2017-04-14Further update with response to feedbackSean Griffin-9/+4
2017-04-14Implement RFC 1268Sean Griffin-0/+10
2017-04-12Add a way to get shorter spans until `char` for pointing at defsEsteban Küber-15/+13
2017-04-11fix long lineNiko Matsakis-1/+2
2017-04-11generalize type variables tooNiko Matsakis-4/+20
2017-04-11use obligations to propagate sub-typing instead of the TV codeNiko Matsakis-1/+4
2017-04-11add Subtype predicateNiko Matsakis-1/+67
2017-04-10Explicit help message for binop type missmatchEsteban Küber-11/+9
2017-03-30add an `ObligationCauseCode` we'll use later (`ReturnNoExpression`)Niko Matsakis-0/+7
2017-03-22Changed error message for ObjectSafetyViolation::SupertraitSelfmandeep-1/+1
2017-03-20Auto merge of #39628 - arielb1:shimmir, r=eddybbors-14/+13
2017-03-19Auto merge of #40346 - jseyfried:path_and_tokenstream_attr, r=nrcbors-1/+1
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-14/+13
2017-03-14Refactor `Attribute` to use `Path` and `TokenStream` instead of `MetaItem`.Jeffrey Seyfried-1/+1
2017-03-13some style fixesTshepang Lekhonkhobe-2/+2
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