summary refs log tree commit diff
path: root/src/librustc/middle/traits/select.rs
AgeCommit message (Expand)AuthorLines
2015-07-06Add a boolean flag to ExistentialBounds tracking whether theNiko Matsakis-0/+1
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-142/+141
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-30/+7
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-2/+1
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-97/+97
2015-06-18Normalize associated types in closure signaturesAriel Ben-Yehuda-19/+53
2015-06-15Rather than expanding the where-clauses in the environment over and overNiko Matsakis-7/+3
2015-06-15Add a (somewhat hacky) cache to the tcx that tracks "global" trait refsNiko Matsakis-0/+8
2015-06-12Split TyArray into TyArray and TySlice.Eli Friedman-25/+8
2015-06-12Cleanup: rename middle::ty::sty and its variants.Eli Friedman-78/+78
2015-06-10Removed many pointless calls to *iter() and iter_mut()Joshua Landau-4/+4
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-17/+16
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-3/+4
2015-05-13eddyb's changes for DST coercionsNick Cameron-7/+236
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-07Select projections over impls in case of ambiguity. Fixes #23336.Ariel Ben-Yehuda-67/+103
2015-05-03Update old uses of ~ in comments and debugging statementsCarol Nichols-3/+3
2015-04-30address review commentsAriel Ben-Yehuda-1/+1
2015-04-30Use hash-tables in trait selectionAriel Ben-Yehuda-20/+11
2015-04-30Stop using Rc in TraitRef and TraitDefAriel Ben-Yehuda-3/+3
2015-04-19Call skolemize_late_bound_regions only after fast rejectionAriel Ben-Yehuda-27/+20
2015-04-14Positive case of `len()` -> `is_empty()`Tamir Duberstein-2/+2
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-8/+0
2015-04-01rollup merge of #23860: nikomatsakis/copy-requires-cloneAlex Crichton-1/+1
2015-04-02Rollup merge of #23895 - nikomatsakis:fn-trait-inheritance-add-impls, r=pnkfelixManish Goregaokar-10/+22
2015-04-01Fallout out rustcNiko Matsakis-1/+1
2015-04-01Implement the changes to coherence such that we consider a type to beNiko Matsakis-27/+76
2015-03-31Add a "match" relation that can be used to make recursion check duringNiko Matsakis-1/+13
2015-03-31Switch to FnvHashMapNiko Matsakis-4/+4
2015-03-31Combine `try` and `commit_if_ok` and make some details of inferenceNiko Matsakis-5/+5
2015-03-28Rollup merge of #23803 - richo:unused-braces, r=ManishearthManish Goregaokar-4/+4
2015-03-28cleanup: Remove unused braces in use statementsRicho Healey-4/+4
2015-03-27rollup merge of #23741: alexcrichton/remove-int-uintAlex Crichton-6/+6
2015-03-26Refactor object-safety test to use def-ids onlyNiko Matsakis-1/+2
2015-03-26Refactor how binders are handled in trait selectionNiko Matsakis-122/+160
2015-03-26Implement `Reflect` trait with a variant on the standard OIBITNiko Matsakis-7/+59
2015-03-26Mass rename uint/int to usize/isizeAlex Crichton-6/+6
2015-03-24rollup merge of #23282: nikomatsakis/fn-trait-inheritanceAlex Crichton-5/+3
2015-03-23rollup merge of #23580: nikomatsakis/pattern-and-overflowAlex Crichton-10/+10
2015-03-23Refactor how we handle overflow so that it is a fatal error that abortsNiko Matsakis-10/+10
2015-03-23Add generic conversion traitsAaron Turon-1/+1
2015-03-23Make the `Fn` traits inherit from one another and remove the bridgingNiko Matsakis-5/+3
2015-03-06rollup merge of #23091: japaric/phantomAlex Crichton-0/+7
2015-03-05OIBIT: for `PhantomData<T>` check `T` rather than the struct itselfJorge Aparicio-0/+7