use rustc_hir::Item;
use rustc_hir::Node;
use rustc_infer::infer::error_reporting::same_type_modulo_infer;
-use rustc_infer::traits::{AmbiguousSelection, TraitEngine};
+use rustc_infer::traits::TraitEngine;
use rustc_middle::traits::select::OverflowError;
use rustc_middle::ty::abstract_const::NotConstEvaluatable;
use rustc_middle::ty::error::ExpectedFound;
self.suggest_restricting_param_bound(
&mut err,
trait_predicate,
+ None,
obligation.cause.body_id,
);
} else if !suggested {
ty::PredicateKind::ClosureKind(closure_def_id, closure_substs, kind) => {
let found_kind = self.closure_kind(closure_substs).unwrap();
- let closure_span =
- self.tcx.sess.source_map().guess_head_span(
- self.tcx.hir().span_if_local(closure_def_id).unwrap(),
- );
+ let closure_span = self.tcx.def_span(closure_def_id);
let mut err = struct_span_err!(
self.tcx.sess,
closure_span,
_ => None,
};
- let found_span = found_did
- .and_then(|did| self.tcx.hir().span_if_local(did))
- .map(|sp| self.tcx.sess.source_map().guess_head_span(sp)); // the sp could be an fn def
+ let found_span = found_did.and_then(|did| self.tcx.hir().span_if_local(did));
if self.reported_closure_mismatch.borrow().contains(&(span, found_span)) {
// We check closures twice, with obligations flowing in different directions,
kind: hir::ExprKind::Closure(&hir::Closure { body, fn_decl_span, .. }),
..
}) => (
- sm.guess_head_span(fn_decl_span),
+ fn_decl_span,
hir.body(body)
.params
.iter()
fn annotate_source_of_ambiguity(
&self,
err: &mut Diagnostic,
- impls: &[AmbiguousSelection],
+ impls: &[DefId],
predicate: ty::Predicate<'tcx>,
);
);
match selcx.select_from_obligation(&obligation) {
Err(SelectionError::Ambiguous(impls)) if impls.len() > 1 => {
- if self.is_tainted_by_errors() && subst.is_none() {
- // If `subst.is_none()`, then this is probably two param-env
- // candidates or impl candidates that are equal modulo lifetimes.
- // Therefore, if we've already emitted an error, just skip this
- // one, since it's not particularly actionable.
- err.cancel();
- return;
- }
self.annotate_source_of_ambiguity(&mut err, &impls, predicate);
}
_ => {
fn annotate_source_of_ambiguity(
&self,
err: &mut Diagnostic,
- impls: &[AmbiguousSelection],
+ impls: &[DefId],
predicate: ty::Predicate<'tcx>,
) {
let mut spans = vec![];
let mut crates = vec![];
let mut post = vec![];
- let mut or_where_clause = false;
- for ambig in impls {
- match ambig {
- AmbiguousSelection::Impl(def_id) => match self.tcx.span_of_impl(*def_id) {
- Ok(span) => spans.push(span),
- Err(name) => {
- crates.push(name);
- if let Some(header) = to_pretty_impl_header(self.tcx, *def_id) {
- post.push(header);
- }
+ for def_id in impls {
+ match self.tcx.span_of_impl(*def_id) {
+ Ok(span) => spans.push(span),
+ Err(name) => {
+ crates.push(name);
+ if let Some(header) = to_pretty_impl_header(self.tcx, *def_id) {
+ post.push(header);
}
- },
- AmbiguousSelection::ParamEnv(span) => {
- or_where_clause = true;
- spans.push(*span);
}
}
}
- let msg = format!(
- "multiple `impl`s{} satisfying `{}` found",
- if or_where_clause { " or `where` clauses" } else { "" },
- predicate
- );
+ let msg = format!("multiple `impl`s satisfying `{}` found", predicate);
let mut crate_names: Vec<_> = crates.iter().map(|n| format!("`{}`", n)).collect();
crate_names.sort();
crate_names.dedup();