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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Tue, 29 Oct 2013 10:08:34 +0000 (06:08 -0400)
committer	Niko Matsakis <niko@alum.mit.edu>
	Sat, 9 Nov 2013 00:43:20 +0000 (19:43 -0500)
commit	9d3f57ef0869805e0dde99cdce9548a587df7893
tree	bfe948f501aa97e706dcd9ea5aede11f66e0bf07	tree \| snapshot
parent	1f4faaee401f8681e25afbcf3b6296b6cd2ca55a	commit \| diff

Introduce new variance inference pass that replaces (and generalizes) old
region-parameterization/variance inference. We now compute variance for
type parameters but do not make use of it (most of the way towards #3598).

23 files changed:

src/librustc/metadata/common.rs		diff \| blob \| history
src/librustc/metadata/csearch.rs		diff \| blob \| history
src/librustc/metadata/decoder.rs		diff \| blob \| history
src/librustc/metadata/encoder.rs		diff \| blob \| history
src/librustc/middle/region.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc/middle/typeck/infer/combine.rs		diff \| blob \| history
src/librustc/middle/typeck/mod.rs		diff \| blob \| history
src/librustc/middle/typeck/variance.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-infer-contravariance-due-to-immutability.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-contravariance-due-to-ret.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-covariance-due-to-arg.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-invariance-due-to-arg-and-ret.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-invariance-due-to-mutability-1.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-invariance-due-to-mutability-2.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-infer-invariance-due-to-mutability.rs	[deleted file]	blob \| history
src/test/compile-fail/regions-variance-covariant-use-contravariant.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-variance-invariant-use-contravariant.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-variance-invariant-use-covariant.rs	[new file with mode: 0644]	blob
src/test/compile-fail/variance-regions-direct.rs	[new file with mode: 0644]	blob
src/test/compile-fail/variance-regions-indirect.rs	[new file with mode: 0644]	blob
src/test/run-pass/regions-variance-contravariant-use-contravariant.rs	[new file with mode: 0644]	blob
src/test/run-pass/regions-variance-covariant-use-covariant.rs	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.

RSS Atom