summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2016-08-13Rename empty/bang to neverAndrew Cann-5/+5
2016-08-13Remove obsolete divergence related stuffAndrew Cann-7/+5
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-2/+5
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-20/+330
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-29/+55
2016-08-12rustc: don't reveal specializable polymorphic projections.Eduard Burtescu-35/+36
2016-08-12rustc: rename ProjectionMode and its variant to be more memorable.Eduard Burtescu-41/+16
2016-08-11Rollup merge of #35576 - circuitfox:E0072-update-error-format, r=jonathandturnerJonathan Turner-0/+1
2016-08-10E0072 update error formatChris Stankus-0/+1
2016-08-09Update E0038 to the new error formatPanashe M. Fundira-4/+9
2016-08-07Rollup merge of #35366 - medzin:E0282, r=jonathandturnerJonathan Turner-4/+6
2016-08-06Updated error message E0282Adam Medziński-4/+6
2016-08-01Improve diagnostics for pattern bindings that illegally shadow items.Jeffrey Seyfried-1/+0
2016-07-22use diagnostic-mutating style for `note_type_err` tooAriel Ben-Yehuda-8/+5
2016-07-22try to recover the non-matching types in projection errorsAriel Ben-Yehuda-21/+60
2016-07-22switch projection errors to use the new type error messagesAriel Ben-Yehuda-5/+9
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-26 19:40:44 +0000