summary refs log tree commit diff
path: root/src/librustc/middle/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2015-06-19rustc: remove Repr and UserString.Eduard Burtescu-17/+16
2015-06-19rustc: replace Repr/UserString impls with Debug/Display ones.Eduard Burtescu-4/+4
2015-06-19Clean up unused argument/variable warnings.Eduard Burtescu-5/+2
2015-06-19rustc: use the TLS type context in Repr and UserString.Eduard Burtescu-11/+11
2015-06-18Normalize associated types in closure signaturesAriel Ben-Yehuda-5/+18
2015-06-18Simplify and type_known_to_meet_builtin_bound and make it more correct whenAriel Ben-Yehuda-59/+16
2015-06-15Rather than expanding the where-clauses in the environment over and overNiko Matsakis-7/+22
2015-06-15Add a (somewhat hacky) cache to the tcx that tracks "global" trait refsNiko Matsakis-3/+3
2015-06-04Use a plain Vec instead of VecPerParamSpace in trait selection.Ariel Ben-Yehuda-109/+29
2015-05-13eddyb's changes for DST coercionsNick Cameron-4/+6
2015-04-18Rather than storing the relations between free-regions in a globalNiko Matsakis-1/+3
2015-03-27rollup merge of #23486: nikomatsakis/issue-23485Alex Crichton-0/+1
2015-03-27When testing whether a default method predicates are satisfiable,Niko Matsakis-0/+1
2015-03-27rollup merge of #23741: alexcrichton/remove-int-uintAlex Crichton-2/+2
2015-03-26Refactor object-safety test to use def-ids onlyNiko Matsakis-2/+4
2015-03-26Mass rename uint/int to usize/isizeAlex Crichton-2/+2
2015-03-23Refactor how we handle overflow so that it is a fatal error that abortsNiko Matsakis-30/+6
2015-03-04Generalize the code so we can handle multiple supertraits.Niko Matsakis-0/+4
2015-02-24Resolve regions too when normalizing param env.Niko Matsakis-41/+50
2015-02-22address nitsFlavio Percoco-0/+3
2015-02-22Rename DefTrait to DefaultImplFlavio Percoco-11/+11
2015-02-22Use a Vec<N> instead of VecPerParamSpace<N>Flavio Percoco-3/+3
2015-02-22Ensure default trait impls holdFlavio Percoco-3/+34
2015-02-22look for default trait candidatesFlavio Percoco-3/+8
2015-02-18rollup merge of #22286: nikomatsakis/variance-4bAlex Crichton-10/+1
2015-02-18traits: break apart the "full normalization" code used for normalizingNiko Matsakis-14/+33
2015-02-18Extend coherence check to understand subtyping.Niko Matsakis-10/+1
2015-02-15Auto merge of #22126 - steveklabnik:gh21281, r=nikomatsakisbors-1/+1
2015-02-12Rote changes to fix fallout throughout the compiler from splitting theNiko Matsakis-1/+1
2015-02-12Eliminate assoc type projection predicate candidate duplicatesEdward Wang-5/+5
2015-02-10Move rustc docs to the bookSteve Klabnik-1/+1
2015-02-02`for x in xs.into_iter()` -> `for x in xs`Jorge Aparicio-1/+1
2015-01-29s/Show/Debug/gJorge Aparicio-3/+3
2015-01-28Adjust comment per nrc's suggestion.Niko Matsakis-2/+15
2015-01-28Add the notion of normalizing a parameter environment and ensure thatNiko Matsakis-1/+47
2015-01-26Adjust most comments and messages to not use "unboxed".Eduard Burtescu-4/+3
2015-01-26Remove "unboxed" attribute in code referring to new closures.Eduard Burtescu-6/+6
2015-01-20Add error codes to rustcBrian Anderson-5/+4
2015-01-14Refactor compare_impl_method to use all boundsJared Roesch-0/+3
2015-01-12Normalize bounds that we extract from where clauses. Fixes #20765.Niko Matsakis-5/+7
2015-01-06rollup merge of #20481: seanmonstar/fmt-show-stringAlex Crichton-2/+2
2015-01-07falloutNick Cameron-1/+1
2015-01-06core: split into fmt::Show and fmt::StringSean McArthur-2/+2
2015-01-03sed -i -s 's/#\[deriving(/#\[derive(/g' **/*.rsJorge Aparicio-10/+10
2015-01-03sed -i -s 's/\bmod,/self,/g' **/*.rsJorge Aparicio-1/+1
2015-01-03Modify `type_known_to_meet_builtin_bound` so that it doesn't suppress overflow,Niko Matsakis-11/+80
2015-01-02rollup merge of #20341: nikomatsakis/impl-trait-for-trait-2Alex Crichton-0/+20
2015-01-02Ensure that, for every trait `Foo`, the predicate `Foo : Foo` holds.Niko Matsakis-0/+13
2015-01-02Refactor object-safety into its own (cached) module so that we canNiko Matsakis-0/+5
2015-01-02Move the `upcast` routine into traits and use it for method selection; alsoNiko Matsakis-0/+2