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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Tue, 15 Dec 2015 09:31:58 +0000 (04:31 -0500)
committer	Niko Matsakis <niko@alum.mit.edu>
	Fri, 18 Dec 2015 17:41:02 +0000 (12:41 -0500)
commit	dbf994bbaff214e6441a8e97df180db7b29e7189
tree	0dda4f95be54fe6837e6db1c106fd79f550a48d3	tree \| snapshot
parent	de62f9d885623318206620ddd2856a288ccd3ee4	commit \| diff

Make RFC 1214 warnings into errors, and rip out the "warn or err"
associated machinery. Future such attempts should go through lints
anyhow.

There is a fair amount of fallout in the compile-fail tests, as WF
checking now occurs earlier in the process.

88 files changed:

src/librustc/middle/infer/error_reporting.rs		diff \| blob \| history
src/librustc/middle/infer/mod.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/select.rs		diff \| blob \| history
src/librustc/middle/ty/outlives.rs		diff \| blob \| history
src/librustc/middle/ty/wf.rs		diff \| blob \| history
src/librustc/session/mod.rs		diff \| blob \| history
src/librustc_typeck/astconv.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/wf.rs	[deleted file]	blob \| history
src/librustc_typeck/check/wfcheck.rs		diff \| blob \| history
src/librustc_typeck/coherence/overlap.rs		diff \| blob \| history
src/librustc_typeck/diagnostics.rs		diff \| blob \| history
src/librustc_typeck/lib.rs		diff \| blob \| history
src/test/auxiliary/associated-types-cc-lib.rs		diff \| blob \| history
src/test/auxiliary/static-methods-crate.rs		diff \| blob \| history
src/test/compile-fail/associated-types-no-suitable-supertrait.rs		diff \| blob \| history
src/test/compile-fail/builtin-superkinds-self-type.rs		diff \| blob \| history
src/test/compile-fail/coherence-impl-trait-for-trait-object-safe.rs		diff \| blob \| history
src/test/compile-fail/cross-fn-cache-hole.rs		diff \| blob \| history
src/test/compile-fail/issue-13853-2.rs		diff \| blob \| history
src/test/compile-fail/issue-13853.rs		diff \| blob \| history
src/test/compile-fail/issue-14853.rs		diff \| blob \| history
src/test/compile-fail/issue-18959.rs		diff \| blob \| history
src/test/compile-fail/issue-19380.rs		diff \| blob \| history
src/test/compile-fail/issue-20005.rs		diff \| blob \| history
src/test/compile-fail/issue-20831-debruijn.rs		diff \| blob \| history
src/test/compile-fail/issue-21974.rs		diff \| blob \| history
src/test/compile-fail/issue-23041.rs		diff \| blob \| history
src/test/compile-fail/issue-23305.rs		diff \| blob \| history
src/test/compile-fail/issue-3907-2.rs		diff \| blob \| history
src/test/compile-fail/object-safety-generics.rs		diff \| blob \| history
src/test/compile-fail/object-safety-mentions-Self.rs		diff \| blob \| history
src/test/compile-fail/object-safety-no-static.rs		diff \| blob \| history
src/test/compile-fail/object-safety-sized-2.rs		diff \| blob \| history
src/test/compile-fail/object-safety-sized.rs		diff \| blob \| history
src/test/compile-fail/regions-close-object-into-object-5.rs		diff \| blob \| history
src/test/compile-fail/regions-free-region-ordering-callee-4.rs	[new file with mode: 0644]	blob
src/test/compile-fail/regions-free-region-ordering-callee.rs		diff \| blob \| history
src/test/compile-fail/regions-implied-bounds-projection-gap-hr-1.rs		diff \| blob \| history
src/test/compile-fail/regions-wf-trait-object.rs		diff \| blob \| history
src/test/compile-fail/rfc1214-warn-and-error.rs	[deleted file]	blob \| history
src/test/compile-fail/trait-bounds-impl-comparison-2.rs		diff \| blob \| history
src/test/compile-fail/trait-test-2.rs		diff \| blob \| history
src/test/compile-fail/typeck-default-trait-impl-trait-where-clause-2.rs	[new file with mode: 0644]	blob
src/test/compile-fail/typeck-default-trait-impl-trait-where-clause.rs		diff \| blob \| history
src/test/compile-fail/variance-invariant-self-trait-match.rs		diff \| blob \| history
src/test/compile-fail/wf-array-elem-sized.rs		diff \| blob \| history
src/test/compile-fail/wf-enum-bound.rs		diff \| blob \| history
src/test/compile-fail/wf-fn-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-impl-associated-type-region.rs		diff \| blob \| history
src/test/compile-fail/wf-impl-associated-type-trait.rs		diff \| blob \| history
src/test/compile-fail/wf-in-fn-type-static.rs		diff \| blob \| history
src/test/compile-fail/wf-in-fn-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-in-obj-type-static.rs		diff \| blob \| history
src/test/compile-fail/wf-inherent-impl-method-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-inherent-impl-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-outlives-ty-in-fn-or-trait.rs		diff \| blob \| history
src/test/compile-fail/wf-struct-bound.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-associated-type-bound.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-associated-type-region.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-associated-type-trait.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-bound.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-default-fn-arg.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-default-fn-ret.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-default-fn-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-fn-arg.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-fn-ret.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-fn-where-clause.rs		diff \| blob \| history
src/test/compile-fail/wf-trait-superbound.rs		diff \| blob \| history
src/test/run-pass/cycle-generic-bound.rs		diff \| blob \| history
src/test/run-pass/cycle-trait-type-trait.rs		diff \| blob \| history
src/test/run-pass/issue-25810.rs		diff \| blob \| history
src/test/run-pass/issue-6898.rs		diff \| blob \| history
src/test/run-pass/regions-issue-22246.rs		diff \| blob \| history
src/test/run-pass/regions-no-variance-from-fn-generics.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-num0.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-num1.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-num3.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-num5.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-self-in-supertype.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-self.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-subst.rs		diff \| blob \| history
src/test/run-pass/trait-inheritance-subst2.rs		diff \| blob \| history
src/test/run-pass/unsized2.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom