summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2016-07-02Auto merge of #34443 - eddyb:sized-matters, r=arielb1bors-0/+6
2016-06-27Auto merge of #34424 - jseyfried:breaking_batch, r=Manishearthbors-6/+6
2016-06-26Disallow constants and statics from having unsized types.Eduard Burtescu-0/+6
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-6/+6
2016-06-23Don't translate vtable methods with Self: Sized bounds.Eduard Burtescu-1/+6
2016-05-31kill some unused importsNiko Matsakis-1/+0
2016-05-31add FIXME to fulfillNiko Matsakis-0/+2
2016-05-31consult cache in projectionNiko Matsakis-8/+89
2016-05-31cleanup imports for cacheNiko Matsakis-4/+5
2016-05-31thread vtable-closure obligations to resultNiko Matsakis-0/+13
2016-05-31change to use `higher_ranked_match`Niko Matsakis-57/+86
2016-05-31create but do not use a projection cacheNiko Matsakis-3/+93
2016-05-31more debug dumping in traitsNiko Matsakis-5/+13
2016-05-31make HR algorithms account for region subtypingNiko Matsakis-15/+40
2016-05-28Rollup merge of #33852 - arielb1:autoderef-iterator, r=eddybManish Goregaokar-43/+43
2016-05-25catch attempts to leak obligations out of snapshotsAriel Ben-Yehuda-42/+42
2016-05-25refactor autoderef to avoid registering obligationsAriel Ben-Yehuda-1/+1
2016-05-22Propagate obligations through projectionMasood Malekghassemi-12/+15
2016-05-19Auto merge of #33694 - arielb1:fuzzy-on-unimplemented, r=nikomatsakisbors-26/+72
2016-05-18implement fuzzy matching in on_unimplementedAriel Ben-Yehuda-26/+72
2016-05-18Rollup merge of #33695 - nikomatsakis:spezializes-cache, r=aturonManish Goregaokar-2/+31
2016-05-17Auto merge of #33137 - nikomatsakis:issue-32330-lbr-in-return-type-warning-2,...bors-188/+281
2016-05-17fix stale method namesNiko Matsakis-2/+2
2016-05-17refactor: use `select` inside of a probeNiko Matsakis-188/+281
2016-05-17introduce a specializes cacheNiko Matsakis-2/+31
2016-05-16Auto merge of #33491 - arielb1:obligation-jungle, r=nikomatsakisbors-552/+102
2016-05-16change on_unimplented logicAriel Ben-Yehuda-5/+12
2016-05-14Rollup merge of #33576 - soltanmm:vtable, r=nikomatsakisManish Goregaokar-102/+221
2016-05-14Rollup merge of #33555 - soltanmm:ambiguous-nixon, r=nikomatsakisManish Goregaokar-57/+1
2016-05-13rewrite fuzzy `on_unimplemented` matching to avoid ICEsAriel Ben-Yehuda-181/+33
2016-05-13address review commentsAriel Ben-Yehuda-6/+9
2016-05-13add cycle-reporting logicAriel Ben-Yehuda-8/+10
2016-05-13rewrite obligation forest. cycles still handled incorrectly.Ariel Ben-Yehuda-367/+53
2016-05-11Plumb inference obligations through selectionMasood Malekghassemi-66/+118
2016-05-11Don't mutate the inference context when assemblingMasood Malekghassemi-1/+1
2016-05-11Add inferred obligation storage to all Vtable variants and SelectionContextMasood Malekghassemi-38/+105
2016-05-11Remove unification despite ambiguity in projectionMasood Malekghassemi-57/+1
2016-05-11Update to eddyb's PRggomez-199/+129
2016-05-11Create Weight enumGuillaume Gomez-34/+64
2016-05-11Improve weight algorithm and testsggomez-52/+107
2016-05-11Improve error message for Index trait on slicesGuillaume Gomez-28/+79
2016-05-11Extend rustc_on_unimplemented flag: if a message is available at an impl, thi...ggomez-4/+179
2016-05-11Fixup indentation after methodification.Eduard Burtescu-1122/+1126
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-18/+81
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-23/+22
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-259/+335
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-87/+103
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-6/+6
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-100/+109
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-118/+117