summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2015-01-08rollup merge of #20757: nikomatsakis/issue-20624-assoc-types-coherenceAlex Crichton-31/+54
2015-01-08Normalize types bottom up. Fixes #20666.Niko Matsakis-1/+3
2015-01-08Normalize types in supertraits when checking that impls are valid during wf.Niko Matsakis-2/+1
2015-01-08Normalize types in impls, add test for coherence failure.Niko Matsakis-30/+52
2015-01-08Remove the deprecated opt_out_copy featureFlavio Percoco-21/+2
2015-01-07rollup merge of #20706: nikomatsakis/assoc-types-projections-in-structs-issue...Alex Crichton-1/+16
2015-01-07rollup merge of #20665: nikomatsakis/assoc-types-method-dispatch-projectionAlex Crichton-2/+2
2015-01-07Use ty::type_is_sized() so that we handle projection types properly.Niko Matsakis-1/+16
2015-01-07use slicing sugarJorge Aparicio-15/+15
2015-01-07auto merge of #20655 : nikomatsakis/rust/carl-ice, r=aturonbors-1/+9
2015-01-07Remember to check the name of the associated type being projected when search...Niko Matsakis-1/+9
2015-01-07Merge pull request #20674 from jbcrail/fix-misspelled-commentsbors-7/+7
2015-01-06Fix misspelled comments.Joseph Crail-7/+7
2015-01-06rollup merge of #20653: alexcrichton/entry-unstableAlex Crichton-3/+1
2015-01-06rollup merge of #20481: seanmonstar/fmt-show-stringAlex Crichton-13/+13
2015-01-07falloutNick Cameron-3/+3
2015-01-06core: split into fmt::Show and fmt::StringSean McArthur-13/+13
2015-01-06Support methods invoked on projection types based on the bounds found in the ...Niko Matsakis-2/+2
2015-01-07Replace full slice notation with index callsNick Cameron-8/+8
2015-01-06[breaking change] Revert Entry behaviour to take keys by value.Dylan Ede-3/+1
2015-01-05rollup merge of #20556: japaric/no-for-sizedAlex Crichton-2/+2
2015-01-05rollup merge of #20594: nikomatsakis/orphan-orderedAlex Crichton-33/+23
2015-01-05rollup merge of #20465: nikomatsakis/assoc-types-regions-20303Alex Crichton-5/+6
2015-01-05remove ty_closureJorge Aparicio-57/+0
2015-01-05Implement new orphan rule that requires that impls of remote traits meet the ...Niko Matsakis-33/+23
2015-01-05update comment to reflect new `Sized` semanticsJorge Aparicio-2/+2
2015-01-05undo one `for Sized?` removal that was in a commentJorge Aparicio-1/+1
2015-01-05sed -i -s 's/ for Sized?//g' **/*.rsJorge Aparicio-1/+1
2015-01-05Don't ICE just because an impl is missing an associated type. Trust in the ot...Niko Matsakis-5/+6
2015-01-04[breaking change] Update entry API as part of RFC 509.Ben Foppa-2/+3
2015-01-03sed -i -s 's/#\[deriving(/#\[derive(/g' **/*.rsJorge Aparicio-16/+16
2015-01-03sed -i -s 's/\bmod,/self,/g' **/*.rsJorge Aparicio-10/+10
2015-01-04auto merge of #20490 : japaric/rust/assoc-types, r=aturonbors-6/+10
2015-01-03rustc: fix falloutJorge Aparicio-6/+10
2015-01-03Make `ty::ParameterEnvironment`, not `ty::ctxt`, implement `Typer` andNiko Matsakis-24/+15
2015-01-03Modify `type_known_to_meet_builtin_bound` so that it doesn't suppress overflow,Niko Matsakis-15/+84
2015-01-02rollup merge of #20410: japaric/assoc-typesAlex Crichton-23/+63
2015-01-02Handle recursive obligations without exiting the inference probeNiko Matsakis-16/+13
2015-01-02Temporarily do not evaluate subobligations.Niko Matsakis-2/+5
2015-01-02Evaluate projection predicates during trait selection. Fixes #20296.Niko Matsakis-12/+34
2015-01-02rollup merge of #20341: nikomatsakis/impl-trait-for-trait-2Alex Crichton-31/+534
2015-01-02rollup merge of #20416: nikomatsakis/coherenceAlex Crichton-80/+84
2015-01-02Do not ICE when projecting out of a value with type `ty::ty_err`Niko Matsakis-14/+31
2015-01-02Address nits.Niko Matsakis-14/+8
2015-01-02Ensure that, for every trait `Foo`, the predicate `Foo : Foo` holds.Niko Matsakis-31/+179
2015-01-02Refactor object-safety into its own (cached) module so that we canNiko Matsakis-0/+307
2015-01-02Move the `upcast` routine into traits and use it for method selection; alsoNiko Matsakis-0/+54
2015-01-02Fix orphan checking (cc #19470). (This is not a complete fix of #19470 becaus...Niko Matsakis-80/+84
2015-01-01Normalize the associated types in closure and closure upvar types.Niko Matsakis-0/+5
2015-01-01Refactor the Typer interface to separate out UnboxedClosureTyper methods, whi...Niko Matsakis-51/+22