git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Niko Matsakis <niko@alum.mit.edu>
	Wed, 17 Dec 2014 19:16:28 +0000 (14:16 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Tue, 30 Dec 2014 14:36:21 +0000 (09:36 -0500)
commit	4404592f3631233c2f160c3f9a315764a4fcfba9
tree	16abf46234f6e2e1b5153a0d26054894913baca3	tree \| snapshot
parent	f95bb55a1c4cb258ac8e6adde99cf1aadc5d776b	commit \| diff

Implement associated type projection and normalization.

69 files changed:

src/librustc/metadata/common.rs		diff \| blob \| history
src/librustc/metadata/decoder.rs		diff \| blob \| history
src/librustc/metadata/encoder.rs		diff \| blob \| history
src/librustc/metadata/tydecode.rs		diff \| blob \| history
src/librustc/metadata/tyencode.rs		diff \| blob \| history
src/librustc/middle/astencode.rs		diff \| blob \| history
src/librustc/middle/fast_reject.rs		diff \| blob \| history
src/librustc/middle/infer/combine.rs		diff \| blob \| history
src/librustc/middle/infer/error_reporting.rs		diff \| blob \| history
src/librustc/middle/infer/freshen.rs		diff \| blob \| history
src/librustc/middle/infer/mod.rs		diff \| blob \| history
src/librustc/middle/traits/coherence.rs		diff \| blob \| history
src/librustc/middle/traits/error_reporting.rs		diff \| blob \| history
src/librustc/middle/traits/fulfill.rs		diff \| blob \| history
src/librustc/middle/traits/mod.rs		diff \| blob \| history
src/librustc/middle/traits/project.rs	[new file with mode: 0644]	blob
src/librustc/middle/traits/select.rs		diff \| blob \| history
src/librustc/middle/traits/util.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc/middle/ty_fold.rs		diff \| blob \| history
src/librustc/util/ppaux.rs		diff \| blob \| history
src/librustc_trans/trans/base.rs		diff \| blob \| history
src/librustc_trans/trans/callee.rs		diff \| blob \| history
src/librustc_trans/trans/common.rs		diff \| blob \| history
src/librustc_trans/trans/context.rs		diff \| blob \| history
src/librustc_trans/trans/debuginfo.rs		diff \| blob \| history
src/librustc_trans/trans/expr.rs		diff \| blob \| history
src/librustc_trans/trans/foreign.rs		diff \| blob \| history
src/librustc_trans/trans/meth.rs		diff \| blob \| history
src/librustc_trans/trans/monomorphize.rs		diff \| blob \| history
src/librustc_trans/trans/type_of.rs		diff \| blob \| history
src/librustc_typeck/astconv.rs		diff \| blob \| history
src/librustc_typeck/check/_match.rs		diff \| blob \| history
src/librustc_typeck/check/assoc.rs	[new file with mode: 0644]	blob
src/librustc_typeck/check/closure.rs		diff \| blob \| history
src/librustc_typeck/check/method/confirm.rs		diff \| blob \| history
src/librustc_typeck/check/method/mod.rs		diff \| blob \| history
src/librustc_typeck/check/method/probe.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/librustc_typeck/check/regionmanip.rs		diff \| blob \| history
src/librustc_typeck/check/vtable.rs		diff \| blob \| history
src/librustc_typeck/check/wf.rs		diff \| blob \| history
src/librustc_typeck/coherence/mod.rs		diff \| blob \| history
src/librustc_typeck/coherence/orphan.rs		diff \| blob \| history
src/librustc_typeck/collect.rs		diff \| blob \| history
src/librustc_typeck/variance.rs		diff \| blob \| history
src/librustdoc/clean/mod.rs		diff \| blob \| history
src/test/compile-fail/assoc-eq-1.rs	[deleted file]	blob \| history
src/test/compile-fail/assoc-eq-2.rs	[deleted file]	blob \| history
src/test/compile-fail/assoc-eq-3.rs	[deleted file]	blob \| history
src/test/compile-fail/assoc-eq-expr-path.rs	[deleted file]	blob \| history
src/test/compile-fail/assoc-path-1.rs	[deleted file]	blob \| history
src/test/compile-fail/assoc-path-2.rs	[deleted file]	blob \| history
src/test/compile-fail/associated-types-eq-1.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-eq-2.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-eq-3.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-eq-expr-path.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-for-unimpl-trait.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-in-wrong-context.rs		diff \| blob \| history
src/test/compile-fail/associated-types-path-1.rs	[new file with mode: 0644]	blob
src/test/compile-fail/associated-types-path-2.rs	[new file with mode: 0644]	blob
src/test/run-pass/assoc-eq.rs	[deleted file]	blob \| history
src/test/run-pass/assoc-sugar-path.rs	[deleted file]	blob \| history
src/test/run-pass/associated-types-basic.rs	[new file with mode: 0644]	blob
src/test/run-pass/associated-types-binding-in-where-clause.rs	[new file with mode: 0644]	blob
src/test/run-pass/associated-types-constant-type.rs	[new file with mode: 0644]	blob
src/test/run-pass/associated-types-eq-obj.rs	[new file with mode: 0644]	blob
src/test/run-pass/associated-types-return.rs	[new file with mode: 0644]	blob
src/test/run-pass/associated-types-sugar-path.rs	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom