]> git.lizzy.rs Git - rust.git/commit
refactor constant evaluation error reporting
authorAriel Ben-Yehuda <ariel.byd@gmail.com>
Tue, 19 Jul 2016 21:02:56 +0000 (00:02 +0300)
committerAriel Ben-Yehuda <ariel.byd@gmail.com>
Fri, 22 Jul 2016 11:32:56 +0000 (14:32 +0300)
commit37c569627cd285788509f654a6a2658126ba72e4
tree58075ace7051f4933c7ef992f1fbb94a518f4337
parentfa4eda8935cc902b0757815e774f11ee791af156
refactor constant evaluation error reporting

Refactor constant evaluation to use a single error reporting function
that reports a type-error-like message.

Also, unify all error codes with the "constant evaluation error" message
to just E0080, and similarly for a few other duplicate codes. The old
situation was a total mess, and now that we have *something* we can
further iterate on the UX.
55 files changed:
src/librustc_const_eval/Cargo.toml
src/librustc_const_eval/check_match.rs
src/librustc_const_eval/diagnostics.rs
src/librustc_const_eval/eval.rs
src/librustc_const_eval/lib.rs
src/librustc_passes/consts.rs
src/librustc_passes/diagnostics.rs
src/librustc_trans/_match.rs
src/librustc_trans/consts.rs
src/librustc_trans/intrinsic.rs
src/librustc_trans/mir/constant.rs
src/librustc_trans/trans_item.rs
src/librustc_trans/tvec.rs
src/librustc_typeck/astconv.rs
src/librustc_typeck/check/mod.rs
src/librustc_typeck/collect.rs
src/librustc_typeck/diagnostics.rs
src/rustc/Cargo.lock
src/test/compile-fail/array_const_index-0.rs
src/test/compile-fail/array_const_index-1.rs
src/test/compile-fail/associated-const-array-len.rs
src/test/compile-fail/associated-const-type-parameter-arrays-2.rs
src/test/compile-fail/const-array-oob.rs
src/test/compile-fail/const-call.rs
src/test/compile-fail/const-err.rs
src/test/compile-fail/const-eval-overflow-2.rs
src/test/compile-fail/const-eval-overflow-3.rs
src/test/compile-fail/const-eval-overflow-4b.rs
src/test/compile-fail/const-eval-overflow.rs
src/test/compile-fail/const-eval-span.rs
src/test/compile-fail/const-fn-error.rs
src/test/compile-fail/const-index-feature-gate.rs
src/test/compile-fail/const-integer-bool-ops.rs
src/test/compile-fail/const-len-underflow-separate-spans.rs
src/test/compile-fail/const-len-underflow-subspans.rs
src/test/compile-fail/const-pattern-not-const-evaluable.rs
src/test/compile-fail/const-slice-oob.rs
src/test/compile-fail/const-tup-index-span.rs
src/test/compile-fail/discrim-ill-typed.rs
src/test/compile-fail/enum-discrim-too-small.rs
src/test/compile-fail/eval-enum.rs
src/test/compile-fail/feature-gate-negate-unsigned0.rs
src/test/compile-fail/invalid-path-in-const.rs
src/test/compile-fail/issue-22933-2.rs
src/test/compile-fail/issue-23217.rs
src/test/compile-fail/issue-25145.rs
src/test/compile-fail/issue-27008.rs
src/test/compile-fail/issue-27895.rs
src/test/compile-fail/issue-28586.rs
src/test/compile-fail/issue-3521.rs
src/test/compile-fail/issue-8761.rs
src/test/compile-fail/non-constant-enum-for-vec-repeat.rs
src/test/compile-fail/non-constant-expr-for-vec-repeat.rs
src/test/compile-fail/non-constant-in-const-path.rs
src/test/compile-fail/repeat_count.rs