"New answer was not ambiguous whereas previous answer was." during analysis-stats

[lnicola]

As of ada9e16537c22b490d13cdd54b9e1e4885856a4c:

  12: chalk_engine::table::Table<C>::push_answer
  13: chalk_engine::logic::<impl chalk_engine::forest::Forest<C>>::ensure_root_answer
  14: <chalk_engine::forest::ForestSolver<C,CO> as chalk_engine::context::AnswerStream<C>>::peek_answer
  15: chalk_solve::solve::slg::aggregate::<impl chalk_engine::context::AggregateOps<chalk_solve::solve::slg::SlgContext<TF>> for chalk_solve::solve::slg::SlgContextOps<TF>>::make_solution
  16: chalk_engine::forest::Forest<C>::solve
  17: ra_hir_ty::traits::trait_solve_query
  18: salsa::runtime::Runtime<DB>::execute_query_implementation
  19: salsa::derived::slot::Slot<DB,Q,MP>::read_upgrade
  20: salsa::derived::slot::Slot<DB,Q,MP>::read
  21: <salsa::derived::DerivedStorage<DB,Q,MP> as salsa::plumbing::QueryStorageOps<DB,Q>>::try_fetch
  22: salsa::QueryTable<DB,Q>::get
  23: ra_hir_ty::infer::InferenceContext<D>::resolve_ty_as_possible
  24: ra_hir_ty::infer::path::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_path
  25: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  26: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr
  27: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_method_call
  28: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  29: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr
  30: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_method_call
  31: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  32: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr
  33: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  34: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_coerce
  35: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  36: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_coerce
  37: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::check_call_arguments
  38: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_method_call
  39: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  40: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_coerce
  41: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_inner
  42: ra_hir_ty::infer::expr::<impl ra_hir_ty::infer::InferenceContext<D>>::infer_expr_coerce
  43: ra_hir_ty::infer::infer_query
  44: salsa::runtime::Runtime<DB>::execute_query_implementation
  45: salsa::derived::slot::Slot<DB,Q,MP>::read_upgrade
  46: salsa::derived::slot::Slot<DB,Q,MP>::read
  47: <salsa::derived::DerivedStorage<DB,Q,MP> as salsa::plumbing::QueryStorageOps<DB,Q>>::try_fetch
  48: <T as ra_hir_ty::db::HirDatabase>::infer
  49: ra_cli::analysis_stats::run

[lnicola]

This was introduced in the last chalk update (#2636).

[lnicola]

See rust-lang/chalk#302.

[lnicola]

No longer seems to happen and chalk can probably deal with this.