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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Sun, 7 Dec 2014 16:10:48 +0000 (11:10 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Sat, 13 Dec 2014 01:25:21 +0000 (20:25 -0500)
commit	9f492fefef8d9a75f6dc27c834561fe977ca70c5
tree	bfeccff865c113ad6667fbe809a1cb57a91d1e51	tree \| snapshot
parent	2be6c4f1ca6726068ceb70e7fb5369f2c1a42bb0	commit \| diff

Switch to using predicates to drive checking. Correct various tests --
in most cases, just the error message changed, but in some cases we
are reporting new errors that OUGHT to have been reported before but
we're overlooked (mostly involving the `'static` bound on `Send`).

39 files changed:

src/libcore/kinds.rs		diff \| blob \| history
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/check_static.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/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/common.rs		diff \| blob \| history
src/librustc_typeck/astconv.rs		diff \| blob \| history
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/regionck.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/collect.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-self-type.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-simple.rs		diff \| blob \| history
src/test/compile-fail/kindck-impl-type-params.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-object1.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-owned.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-region-pointers.rs		diff \| blob \| history
src/test/compile-fail/kindck-send-unsafe.rs		diff \| blob \| history
src/test/compile-fail/recursion_limit.rs		diff \| blob \| history
src/test/compile-fail/region-object-lifetime-in-coercion.rs		diff \| blob \| history
src/test/compile-fail/regions-bounded-by-send.rs		diff \| blob \| history
src/test/compile-fail/regions-bounded-by-trait-requiring-static.rs		diff \| blob \| history
src/test/compile-fail/regions-bounded-method-type-parameters.rs		diff \| blob \| history
src/test/compile-fail/regions-proc-bounds.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom