summary refs log tree commit diff
path: root/src/librustc/middle/traits/select.rs
AgeCommit message (Expand)AuthorLines
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
2015-03-05Address nits by @nrc.Niko Matsakis-1/+6
2015-03-04Generalize the code so we can handle multiple supertraits.Niko Matsakis-27/+36
2015-03-04Separate supertrait collection from processing a `TraitDef`. This allowsNiko Matsakis-2/+2
2015-03-02Remove the synthetic "region bound" from closures and instead update howNiko Matsakis-4/+4
2015-02-27Normalize types before collecting obligationsFlavio Percoco-62/+64
2015-02-24style nitpicksOliver Schneider-102/+58
2015-02-24Remove another instance of ty_open (fixup #22213)Manish Goregaokar-2/+0
2015-02-24Remove ty_open and treat Unsized lvalues as *Unsized.Eduard Burtescu-19/+0
2015-02-24Auto merge of #21689 - FlaPer87:oibit-send-and-friends, r=nikomatsakisbors-93/+352
2015-02-23Rollup merge of #22559 - kmcallister:borrowck-readme, r=nikomatsakisManish Goregaokar-3/+4
2015-02-22Record default implementations in a separate stepFlavio Percoco-1/+22
2015-02-22tweak exhaustive matching of ty_inferNiko Matsakis-1/+3
2015-02-22fix treatment of parameters and associated typesNiko Matsakis-17/+50
2015-02-22Don't report bug for IntVar and FloatVarFlavio Percoco-1/+3
2015-02-22Check constituent types are knownFlavio Percoco-20/+36
2015-02-22mark candidate set ambig for defaulted traits where self-type is not yet knownNiko Matsakis-1/+6
2015-02-22some comments and nitsNiko Matsakis-35/+43
2015-02-22check supertraitsFlavio Percoco-4/+21
2015-02-22Some nits and cleanupNiko Matsakis-41/+52
2015-02-22Make Send/Sync go through the default implementation pathFlavio Percoco-16/+22
2015-02-22Coherence for default trait implementationsFlavio Percoco-12/+1
2015-02-22Rename DefTrait to DefaultImplFlavio Percoco-11/+11
2015-02-22Make default_trait_impls private and add accessorFlavio Percoco-1/+1
2015-02-22Use a Vec<N> instead of VecPerParamSpace<N>Flavio Percoco-1/+0
2015-02-22Ensure default trait impls holdFlavio Percoco-8/+152
2015-02-22Add negative impls for SyncFlavio Percoco-16/+4