We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7b433d0 commit 4557f70Copy full SHA for 4557f70
src/librustc/middle/typeck/infer/mod.rs
@@ -741,14 +741,6 @@ impl infer_ctxt {
741
// Don't report an error if actual type is ty_err.
742
match ty::get(actual_ty).sty {
743
ty::ty_err => return,
744
- // Should really not report an error if the type
745
- // has ty_err anywhere as a component, but that's
746
- // annoying since we haven't written a visitor for
747
- // ty::t yet
748
- ty::ty_fn(fty) => match ty::get(fty.sig.output).sty {
749
- ty::ty_err => return,
750
- _ => ()
751
- },
752
_ => ()
753
}
754
let error_str = err.map_default(~"", |t_err|
0 commit comments