summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2015-07-06Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-0/+1
2015-06-19Remove extra fmt::Debug impl for VtableClosureData from #26147.Eduard Burtescu-6/+0
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-292/+284
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-188/+79
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-21/+8
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-269/+269
2015-06-18Normalize associated types in closure signaturesAriel Ben-Yehuda-42/+118
2015-06-18Simplify and type_known_to_meet_builtin_bound and make it more correct whenAriel Ben-Yehuda-59/+16
2015-06-17Auto merge of #26326 - nikomatsakis:optimize-fulfillment-cache-in-tcx, r=pcwa...bors-29/+116
2015-06-15Rather than expanding the where-clauses in the environment over and overNiko Matsakis-22/+37
2015-06-15Add a (somewhat hacky) cache to the tcx that tracks "global" trait refsNiko Matsakis-7/+79
2015-06-15Make impl-trait-ref associated types work in methodsAriel Ben-Yehuda-0/+4
2015-06-12Split TyArray into TyArray and TySlice.Eli Friedman-25/+9
2015-06-12Cleanup: rename middle::ty::sty and its variants.Eli Friedman-116/+116
2015-06-11Conver reborrows to .iter() calls where appropriateJoshua Landau-3/+3
2015-06-10Removed many pointless calls to *iter() and iter_mut()Joshua Landau-15/+15
2015-06-09fix comments in example about typesAndrew Straw-1/+1
2015-06-08Fixed old occurences of the removed array syntaxMarcel Müller-2/+2
2015-06-05Allow nested generics for the last field of structs in unsizing.Eduard Burtescu-15/+31
2015-06-04Use a plain Vec instead of VecPerParamSpace in trait selection.Ariel Ben-Yehuda-133/+53
2015-05-27Address review commentsAriel Ben-Yehuda-0/+2
2015-05-26Implement defaults for associated typesAriel Ben-Yehuda-24/+26
2015-05-13Auto merge of #25344 - arielb1:fresh-float, r=nikomatsakisbors-2/+4
2015-05-13Fix binder skippingNick Cameron-5/+26
2015-05-13RebasingNick Cameron-4/+5
2015-05-13eddyb's changes for DST coercionsNick Cameron-23/+307
2015-05-12Create a FreshFloatTy separate from FreshIntTyAriel Ben-Yehuda-2/+4
2015-05-12Auto merge of #23424 - arielb1:ambiguous-project, r=nikomatsakisbors-67/+103
2015-05-11Auto merge of #25085 - carols10cents:remove-old-tilde, r=steveklabnikbors-4/+4
2015-05-07Auto merge of #25123 - arielb1:self-inhibiting-error, r=nikomatsakisbors-3/+12
2015-05-07Select projections over impls in case of ambiguity. Fixes #23336.Ariel Ben-Yehuda-67/+103
2015-05-07Rollup merge of #24966 - ruud-v-a:explain, r=pnkfelixSteve Klabnik-1/+1
2015-05-06improve commentAriel Ben-Yehuda-2/+4
2015-05-06Fix #25076Ariel Ben-Yehuda-3/+10
2015-05-03Update old uses of ~ in comments and debugging statementsCarol Nichols-4/+4
2015-04-30address review commentsAriel Ben-Yehuda-1/+1
2015-04-30Use hash-tables in trait selectionAriel Ben-Yehuda-31/+20
2015-04-30Stop using Rc in TraitRef and TraitDefAriel Ben-Yehuda-24/+19
2015-04-30rustc: Improve misleading error message for E0282Ruud van Asseldonk-1/+1
2015-04-27Auto merge of #23606 - quantheory:associated_const, r=nikomatsakisbors-7/+5
2015-04-24Auto merge of #24553 - nikomatsakis:issue-22779-overconstrained-impl, r=pnkfelixbors-1/+3
2015-04-23Structural changes for associated constantsSean Patrick Santos-7/+5
2015-04-19Call skolemize_late_bound_regions only after fast rejectionAriel Ben-Yehuda-27/+20
2015-04-18Rather than storing the relations between free-regions in a globalNiko Matsakis-1/+3
2015-04-14Positive case of `len()` -> `is_empty()`Tamir Duberstein-3/+3
2015-04-12Auto merge of #24109 - sanxiyn:diverging-closure, r=pnkfelixbors-1/+1
2015-04-09Don't use skolemized parameters but rather fresh variables inNiko Matsakis-50/+21
2015-04-06Fix diverging closuresSeo Sanghyeon-1/+1
2015-04-06If we find a blanket impl for `Trait` but we're matching on an objectNiko Matsakis-0/+12
2015-04-02Remove *most* mentions of phantom fns and variance on traits. Leave someNiko Matsakis-13/+4