summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2015-04-02Tweak relese notes + rebase fixesAlex Crichton-1/+1
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-11/+24
2015-04-01Fallout out rustcNiko Matsakis-1/+1
2015-04-01Implement the changes to coherence such that we consider a type to beNiko Matsakis-85/+259
2015-03-31Add a "match" relation that can be used to make recursion check duringNiko Matsakis-1/+13
2015-03-31Port over type inference to using the new type relation stuffNiko Matsakis-0/+1
2015-03-31Switch to FnvHashMapNiko Matsakis-4/+4
2015-03-31Combine `try` and `commit_if_ok` and make some details of inferenceNiko Matsakis-6/+6
2015-03-28Rollup merge of #23803 - richo:unused-braces, r=ManishearthManish Goregaokar-6/+6
2015-03-28cleanup: Remove unused braces in use statementsRicho Healey-6/+6
2015-03-27rollup merge of #23486: nikomatsakis/issue-23485Alex Crichton-5/+31
2015-03-27When testing whether a default method predicates are satisfiable,Niko Matsakis-5/+31
2015-03-27rollup merge of #23741: alexcrichton/remove-int-uintAlex Crichton-22/+22
2015-03-27rollup merge of #23712: nikomatsakis/reflect-traitAlex Crichton-137/+273
2015-03-27default => or_insert per RFCAlexis Beingessner-1/+1
2015-03-26update everything to use Entry defaultsAlexis-5/+2
2015-03-26Refactor object-safety test to use def-ids onlyNiko Matsakis-11/+55
2015-03-26Refactor how binders are handled in trait selectionNiko Matsakis-122/+162
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-22/+22
2015-03-24rollup merge of #23282: nikomatsakis/fn-trait-inheritanceAlex Crichton-6/+7
2015-03-23rollup merge of #23601: nikomatsakis/by-value-indexAlex Crichton-2/+2
2015-03-23rollup merge of #23580: nikomatsakis/pattern-and-overflowAlex Crichton-64/+53
2015-03-23Refactor how we handle overflow so that it is a fatal error that abortsNiko Matsakis-64/+53
2015-03-23Add generic conversion traitsAaron Turon-1/+1
2015-03-23Fallout in stdlib, rustdoc, rustc, etc. For most maps, converted uses ofNiko Matsakis-2/+2
2015-03-23Make the `Fn` traits inherit from one another and remove the bridgingNiko Matsakis-6/+7
2015-03-17Rollup merge of #23385 - tamird:cleanup-whitespace, r=alexcrichtonManish Goregaokar-2/+0
2015-03-15Strip all leading/trailing newlinesTamir Duberstein-2/+0
2015-03-13Remove explicit syntax highlight from docs.Joseph Crail-1/+1
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-9/+14
2015-03-04Generalize the code so we can handle multiple supertraits.Niko Matsakis-36/+45
2015-03-04Separate supertrait collection from processing a `TraitDef`. This allowsNiko Matsakis-7/+18
2015-03-04Extract out the `filter_to_traits` functionalityNiko Matsakis-9/+22
2015-03-04Simplify impl of Elaborator now that we don't need stack traces anymore.Niko Matsakis-44/+12
2015-03-02Remove the synthetic "region bound" from closures and instead update howNiko Matsakis-5/+5
2015-02-27Normalize types before collecting obligationsFlavio Percoco-63/+65
2015-02-25Rollup merge of #22785 - nikomatsakis:issue-21750-normalization-with-regions,...Manish Goregaokar-44/+70
2015-02-24Improve debug output from coherence.Niko Matsakis-3/+20
2015-02-24Resolve regions too when normalizing param env.Niko Matsakis-41/+50
2015-02-24style nitpicksOliver Schneider-102/+58
2015-02-24Remove another instance of ty_open (fixup #22213)Manish Goregaokar-2/+0
2015-02-24Rollup merge of #22213 - eddyb:ty_open-case-closed, r=nikomatsakisManish Goregaokar-20/+0
2015-02-24Remove ty_open and treat Unsized lvalues as *Unsized.Eduard Burtescu-20/+0
2015-02-24Rollup merge of #22301 - nikomatsakis:object-safe-sized-methods, r=huonwManish Goregaokar-15/+22
2015-02-24Auto merge of #21689 - FlaPer87:oibit-send-and-friends, r=nikomatsakisbors-102/+437
2015-02-23Make traits with by-value-self be considered object safe.Niko Matsakis-9/+4