Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fails on loco-rs 65e8062610fac2bb16f6fdf8abb39e4673f3b2ca #46

Open
Feriixu opened this issue Oct 16, 2024 · 0 comments
Open

Fails on loco-rs 65e8062610fac2bb16f6fdf8abb39e4673f3b2ca #46

Feriixu opened this issue Oct 16, 2024 · 0 comments

Comments

@Feriixu
Copy link

Feriixu commented Oct 16, 2024

Problem

Checked out loco-rs at current master (65e8062610fac2bb16f6fdf8abb39e4673f3b2ca)
https://github.com/loco-rs/loco
Running Argus fails with the attached error message.

Logs

OS: linux (6.9.3-76060903-generic)
VSCode: 1.94.2
Error message

[INFO src/plugin.rs:238] - Starting rustc analysis...
[INFO src/timer.rs:8] - rustc took 0.2944s
[INFO src/timer.rs:8] - global_ctxt took 0.0000s
[INFO src/find_bodies.rs:52] - Starting find_bodies...
[INFO src/timer.rs:8] - find_bodies took 0.1526s
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:2184 ~ loco_rs[6803]::bgworker::pg::_).2) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:2233 ~ loco_rs[6803]::bgworker::pg::_::{impl#0}::deserialize::FIELDS).8) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:2234 ~ loco_rs[6803]::bgworker::pg::_#1).2) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:75 ~ loco_rs[6803]::bgworker::pg::connect).165) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:75 ~ loco_rs[6803]::bgworker::pg::connect).166) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:77 ~ loco_rs[6803]::bgworker::pg::initialize_database).77) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:77 ~ loco_rs[6803]::bgworker::pg::initialize_database).755) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:77 ~ loco_rs[6803]::bgworker::pg::initialize_database).756) }
[INFO src/plugin.rs:315] - analyzing BodyId { hir_id: HirId(DefId(0:79 ~ loco_rs[6803]::bgworker::pg::enqueue).79) }
thread 'rustc' panicked at compiler/rustc_infer/src/infer/opaque_types/mod.rs:497:9:
assertion `left == right` failed
  left: Some(?6t)
 right: None
stack backtrace:
   0: rust_begin_unwind
             at /rustc/d84b9037541f45dc2c52a41d723265af211c0497/library/std/src/panicking.rs:652:5
   1: core::panicking::panic_fmt
             at /rustc/d84b9037541f45dc2c52a41d723265af211c0497/library/core/src/panicking.rs:72:14
   2: core::panicking::assert_failed_inner
             at /rustc/d84b9037541f45dc2c52a41d723265af211c0497/library/core/src/panicking.rs:408:17
   3: core::panicking::assert_failed::<core::option::Option<rustc_middle::ty::Ty>, core::option::Option<rustc_middle::ty::Ty>>
   4: <rustc_infer::infer::InferCtxt>::inject_new_hidden_type_unchecked
   5: <rustc_trait_selection::solve::eval_ctxt::EvalCtxt>::evaluate_goal_raw
   6: <rustc_infer::infer::InferCtxt as rustc_trait_selection::solve::eval_ctxt::InferCtxtEvalExt>::evaluate_root_goal
   7: <rustc_trait_selection::solve::fulfill::FulfillmentCtxt as rustc_infer::traits::engine::TraitEngine>::select_where_possible
   8: <rustc_hir_typeck::fn_ctxt::FnCtxt>::type_inference_fallback
   9: rustc_hir_typeck::typeck
      [... omitted 1 frame ...]
  10: rustc_middle::query::plumbing::query_get_at::<rustc_query_system::query::caches::VecCache<rustc_span::def_id::LocalDefId, rustc_middle::query::erase::Erased<[u8; 8]>>>
  11: rustc_hir_typeck::inspect_typeck
  12: argus_lib::analysis::obligations
  13: <argus_cli::plugin::ArgusCallbacks<A,T,F> as rustc_driver_impl::Callbacks>::after_expansion::{{closure}}::{{closure}}
  14: alloc::vec::in_place_collect::<impl alloc::vec::spec_from_iter::SpecFromIter<T,I> for alloc::vec::Vec<T>>::from_iter
  15: rustc_middle::ty::context::GlobalCtxt::enter
  16: <argus_cli::plugin::ArgusCallbacks<A,T,F> as rustc_driver_impl::Callbacks>::after_expansion
  17: rustc_interface::interface::run_compiler::<core::result::Result<(), rustc_span::ErrorGuaranteed>, rustc_driver_impl::run_compiler::{closure#0}>::{closure#1}
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.
error: could not compile `loco-rs` (lib)

Full log: https://paste.rs/isNFe

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant