about summary refs log tree commit diff
path: root/src/rustllvm/RustWrapper.cpp
diff options
context:
space:
mode:
authorTim Chevalier <chevalier@alum.wellesley.edu>2013-05-11 17:51:00 -0700
committerTim Chevalier <chevalier@alum.wellesley.edu>2013-05-11 17:51:00 -0700
commitcdb52c02015805beac9dc7931880a482409e7162 (patch)
tree89dcc5727ea2cca9095be3b7aebb82adb0f6da83 /src/rustllvm/RustWrapper.cpp
parentd546493096f35e68cbcd9b5d3d7654e7a9345744 (diff)
downloadrust-cdb52c02015805beac9dc7931880a482409e7162.tar.gz
rust-cdb52c02015805beac9dc7931880a482409e7162.zip
rustc: Don't call type_error_message() with ty_err as the expected type
In #6319, several people mentioned they ran into a "computing
fictitious type" ICE in trans. This turns out to be because some
of my recent changes to typeck::check::_match resulted in type errors
getting reported with ty_err as the expected type, which meant the errors
were suppressed, and typechecking incorrectly succeeded (since the errors
weren't recorded).

Changed the error messages in these cases not to use an expected type at all,
rather, printing out a string describing the type that was expected (which is
what the code originally did). The result is a bit repetitive and the
proliferation of error-reporting functions in typeck::infer is a bit annoying,
but I thought it was important to fix this now; more cleanup can happen later.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions