bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

improve comment

Browse source
This commit is contained in:
Ariel Ben-Yehuda 2015-05-06 22:24:13 +03:00
parent 4d8d68f80d
commit df42976e4d
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/librustc/middle/traits/error_reporting.rs
View file

@ -57,8 +57,10 @@ pub fn report_projection_error<'a, 'tcx>(infcx: &InferCtxt<'a, 'tcx>,
let predicate = let predicate =
infcx.resolve_type_vars_if_possible(&obligation.predicate); infcx.resolve_type_vars_if_possible(&obligation.predicate);
// The ty_err created by normalize_to_error can end up being unified // The ty_err created by normalize_to_error can end up being unified
// into all obligations - we still have to report an error in that // into all obligations: for example, if our obligation is something
// case. // like `$X = <() as Foo<$X>>::Out` and () does not implement Foo<_>,
// then $X will be unified with ty_err, but the error still needs to be
// reported.
if !infcx.tcx.sess.has_errors() || !predicate.references_error() { if !infcx.tcx.sess.has_errors() || !predicate.references_error() {
span_err!(infcx.tcx.sess, obligation.cause.span, E0271, span_err!(infcx.tcx.sess, obligation.cause.span, E0271,
"type mismatch resolving `{}`: {}", "type mismatch resolving `{}`: {}",