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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Thu, 9 Aug 2012 16:59:50 +0000 (09:59 -0700)
committer	Niko Matsakis <niko@alum.mit.edu>
	Thu, 23 Aug 2012 13:30:43 +0000 (06:30 -0700)
commit	511e7626aebe7a8a41c3be1c6fbd16c92e8f9386
tree	aea0830fc0eb00431d95c5b41550ee1e99e99da2	tree \| snapshot
parent	8185ede1fad8312244e418b3c082f87386c40145	commit \| diff

Infer variance of types with respect to the region parameter.

A similar approach could be used for type parameters.

Fixes #2282.

33 files changed:

src/libcore/task.rs		diff \| blob \| history
src/libsyntax/ast_map.rs		diff \| blob \| history
src/rustc/metadata/csearch.rs		diff \| blob \| history
src/rustc/metadata/decoder.rs		diff \| blob \| history
src/rustc/metadata/encoder.rs		diff \| blob \| history
src/rustc/middle/astencode.rs		diff \| blob \| history
src/rustc/middle/region.rs		diff \| blob \| history
src/rustc/middle/trans/base.rs		diff \| blob \| history
src/rustc/middle/ty.rs		diff \| blob \| history
src/rustc/middle/typeck.rs		diff \| blob \| history
src/rustc/middle/typeck/astconv.rs		diff \| blob \| history
src/rustc/middle/typeck/check.rs		diff \| blob \| history
src/rustc/middle/typeck/coherence.rs		diff \| blob \| history
src/rustc/middle/typeck/collect.rs		diff \| blob \| history
src/rustc/middle/typeck/infer/combine.rs		diff \| blob \| history
src/rustc/middle/typeck/infer/glb.rs		diff \| blob \| history
src/rustc/middle/typeck/infer/lub.rs		diff \| blob \| history
src/rustc/middle/typeck/infer/sub.rs		diff \| blob \| history
src/rustc/middle/typeck/rscope.rs		diff \| blob \| history
src/test/compile-fail/regions-creating-enums3.rs		diff \| blob \| history
src/test/compile-fail/regions-creating-enums4.rs		diff \| blob \| history
src/test/compile-fail/regions-infer-contravariance-due-to-immutability.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-contravariance-due-to-ret.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-covariance-due-to-arg.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-arg-and-ret.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-mutability-1.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-mutability-2.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-mutability-3.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-mutability-4.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-invariance-due-to-mutability.rs	[new file with mode: 0644]	blob
src/test/run-pass/regions-infer-contravariance-due-to-ret.rs	[new file with mode: 0644]	blob
src/test/run-pass/regions-infer-contravariance.rs	[new file with mode: 0644]	blob
src/test/run-pass/regions-trait.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom