panic: `cannot find `!BoundConst { var: 1, .. }` in param-env: ParamEnv`

trait UnderlyingImpl<const N: usize> {
    type SupportedArray;
}
trait LevelInfo {
    const SUPPORTED_SLOTS: usize;
}
struct SomeImpl;
impl<const MAX_SIZE: usize> UnderlyingImpl<MAX_SIZE> for SomeImpl {
    type SupportedArray = [u32; <Self::SupportedArray as LevelInfo>::SUPPORTED_SLOTS];
}

fn main() {}

RUST_BACKTRACE=full RUSTFLAGS="" ~/.rustup/toolchains/master/bin/rust-analyzer highlight < code.rs

thread 'main' (1212319) panicked at /rust/deps/ra-ap-rustc_type_ir-0.165.0/src/binder.rs:1317:13:
cannot find `!BoundConst { var: 1, .. }` in param-env: ParamEnv {
    clauses: [
        Clause(
            Binder {
                value: ConstArgHasType(!BoundConst { var: 0, .. }, usize),
                bound_vars: [],
            },
        ),
    ],
}
stack backtrace:
   0:     0x7f589804bed6 - <<std[cf0678d25afc9ccf]::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core[9662e8fc1527f23c]::fmt::Display>::fmt
   1:     0x7f589860f0c8 - core[9662e8fc1527f23c]::fmt::write
   2:     0x7f589806113c - <std[cf0678d25afc9ccf]::sys::stdio::unix::Stderr as core[9662e8fc1527f23c]::io::write::Write>::write_fmt
   3:     0x7f589801e04a - std[cf0678d25afc9ccf]::panicking::default_hook::{closure#0}
   4:     0x7f589803e5f3 - std[cf0678d25afc9ccf]::panicking::default_hook
   5:     0x7f589803ea5b - std[cf0678d25afc9ccf]::panicking::panic_with_hook
   6:     0x7f589801e102 - std[cf0678d25afc9ccf]::panicking::panic_handler::{closure#0}
   7:     0x7f5898016a89 - std[cf0678d25afc9ccf]::sys::backtrace::__rust_end_short_backtrace::<std[cf0678d25afc9ccf]::panicking::panic_handler::{closure#0}, !>
   8:     0x7f589801fa5d - __rustc[c7d2cd00dee8f709]::rust_begin_unwind
   9:     0x7f5894d60bac - core[9662e8fc1527f23c]::panicking::panic_fmt
  10:     0x55c8a7849961 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  11:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  12:     0x55c8a77cd294 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  13:     0x55c8a77cc7e9 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  14:     0x55c8a77ce69b - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_evaluate_added_goals
  15:     0x55c8a77d08e3 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_added_goals_and_make_canonical_response
  16:     0x55c8a76ffc16 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates::<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::TraitPredicate<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}
  17:     0x55c8a770fa4e - <hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::Interner>::for_each_relevant_impl::<<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::TraitPredicate<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}>::{closure#0}::{closure#1}
  18:     0x55c8a781567f - <hir_ty[cdb9a6d3e6bba482]::method_resolution::TraitImpls>::for_each_crate_and_block_trait_and_type
  19:     0x55c8a770f38e - <hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::Interner>::for_each_relevant_impl::<<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::TraitPredicate<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}>::{closure#0}
  20:     0x55c8a77c3d22 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::compute_trait_goal
  21:     0x55c8a7843135 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  22:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  23:     0x55c8a77cd294 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  24:     0x55c8a77ceadf - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_evaluate_added_goals
  25:     0x55c8a783f5e4 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  26:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  27:     0x55c8a77cd294 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  28:     0x55c8a77cc7e9 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  29:     0x55c8a79e3aa7 - <hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext as ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::SolverDelegateEvalExt>::evaluate_root_goal
  30:     0x55c8a77e0425 - <hir_ty[cdb9a6d3e6bba482]::next_solver::fulfill::FulfillmentCtxt>::try_evaluate_obligations
  31:     0x55c8a7777cd8 - <hir_ty[cdb9a6d3e6bba482]::next_solver::infer::at::At>::structurally_normalize_term
  32:     0x55c8a790226d - <hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::FallibleTypeFolder<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_ty
  33:     0x55c8a76e0ddd - <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_with::<hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>
  34:     0x55c8a76d5d3f - <core[9662e8fc1527f23c]::result::Result<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, hir_ty[cdb9a6d3e6bba482]::mir::lower::MirLowerError> as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::CollectAndApply<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs>>::collect_and_apply::<core[9662e8fc1527f23c]::iter::adapters::map::Map<core[9662e8fc1527f23c]::iter::adapters::copied::Copied<core[9662e8fc1527f23c]::slice::iter::Iter<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg>>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_with<hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>::{closure#0}>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs>::new_from_iter<core[9662e8fc1527f23c]::iter::adapters::map::Map<core[9662e8fc1527f23c]::iter::adapters::copied::Copied<core[9662e8fc1527f23c]::slice::iter::Iter<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg>>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_with<hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>::{closure#0}>, core[9662e8fc1527f23c]::result::Result<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, hir_ty[cdb9a6d3e6bba482]::mir::lower::MirLowerError>>::{closure#0}>
  35:     0x55c8a76d0017 - <hir_ty[cdb9a6d3e6bba482]::next_solver::consts::Const as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeSuperFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_super_fold_with::<hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>
  36:     0x55c8a787e7fc - <hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>::fill_const
  37:     0x55c8a787ea3d - <hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>::fill_operand
  38:     0x55c8a787f5f2 - <hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::Filler>::fill_body
  39:     0x55c8a794293d - <hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::_::monomorphized_mir_body_query_Configuration_ as salsa[65a99894a6a39c25]::function::Configuration>::execute
  40:     0x55c8a774fa3d - <salsa[65a99894a6a39c25]::function::IngredientImpl<hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::_::monomorphized_mir_body_query_Configuration_>>::execute
  41:     0x55c8a78c32e9 - hir_ty[cdb9a6d3e6bba482]::mir::monomorphization::monomorphized_mir_body_query
  42:     0x55c8a7b8ea67 - <ide_db[d022570643ec6e19]::RootDatabase as hir_ty[cdb9a6d3e6bba482]::db::HirDatabase>::monomorphized_mir_body
  43:     0x55c8a79485da - <hir_ty[cdb9a6d3e6bba482]::consteval::anon_const_eval::_::anon_const_eval_query_Configuration_ as salsa[65a99894a6a39c25]::function::Configuration>::execute
  44:     0x55c8a7768c0b - <salsa[65a99894a6a39c25]::function::IngredientImpl<hir_ty[cdb9a6d3e6bba482]::consteval::anon_const_eval::_::anon_const_eval_query_Configuration_>>::execute
  45:     0x55c8a78bb16c - hir_ty[cdb9a6d3e6bba482]::consteval::anon_const_eval
  46:     0x55c8a7b8e8c4 - <ide_db[d022570643ec6e19]::RootDatabase as hir_ty[cdb9a6d3e6bba482]::db::HirDatabase>::anon_const_eval
  47:     0x55c8a7928cc3 - <hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext as ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::delegate::SolverDelegate>::evaluate_const
  48:     0x55c8a7841ecb - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  49:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  50:     0x55c8a77cd8ca - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  51:     0x55c8a77ceadf - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_evaluate_added_goals
  52:     0x55c8a783f5e4 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  53:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  54:     0x55c8a77cd8ca - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  55:     0x55c8a77cc7e9 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  56:     0x55c8a77ce69b - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_evaluate_added_goals
  57:     0x55c8a77d08e3 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_added_goals_and_make_canonical_response
  58:     0x55c8a76fe28d - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates::<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::NormalizesTo<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}
  59:     0x55c8a770f96e - <hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::Interner>::for_each_relevant_impl::<<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::NormalizesTo<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}>::{closure#0}::{closure#1}
  60:     0x55c8a781567f - <hir_ty[cdb9a6d3e6bba482]::method_resolution::TraitImpls>::for_each_crate_and_block_trait_and_type
  61:     0x55c8a770f1ee - <hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::Interner>::for_each_relevant_impl::<<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_impl_candidates<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::NormalizesTo<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::{closure#0}>::{closure#0}
  62:     0x55c8a75d3f80 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::assemble_and_evaluate_candidates::<ra_ap_rustc_type_ir[4e6de8744a899384]::predicate::NormalizesTo<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>
  63:     0x55c8a7843833 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  64:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  65:     0x55c8a77cd8ca - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  66:     0x55c8a77ceadf - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_evaluate_added_goals
  67:     0x55c8a783f5e4 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_in_task
  68:     0x55c8a7837bc8 - <ra_ap_rustc_type_ir[4e6de8744a899384]::search_graph::SearchGraph<ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::search_graph::SearchGraphDelegate<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext>, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  69:     0x55c8a77cd8ca - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal_raw
  70:     0x55c8a77cc7e9 - <ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::EvalCtxt<hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext, hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::evaluate_goal
  71:     0x55c8a79e3aa7 - <hir_ty[cdb9a6d3e6bba482]::next_solver::solver::SolverContext as ra_ap_rustc_next_trait_solver[8b18a8e3020f8ede]::solve::eval_ctxt::SolverDelegateEvalExt>::evaluate_root_goal
  72:     0x55c8a77e0425 - <hir_ty[cdb9a6d3e6bba482]::next_solver::fulfill::FulfillmentCtxt>::try_evaluate_obligations
  73:     0x55c8a777acf9 - <hir_ty[cdb9a6d3e6bba482]::next_solver::normalize::NormalizationFolder>::normalize_alias_term
  74:     0x55c8a79e7a0d - <hir_ty[cdb9a6d3e6bba482]::next_solver::normalize::NormalizationFolder as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::FallibleTypeFolder<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_ty
  75:     0x55c8a76d50cc - <core[9662e8fc1527f23c]::result::Result<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, alloc[e138f46f1eef3ed4]::vec::Vec<hir_ty[cdb9a6d3e6bba482]::next_solver::fulfill::NextSolverError>> as ra_ap_rustc_type_ir[4e6de8744a899384]::interner::CollectAndApply<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs>>::collect_and_apply::<core[9662e8fc1527f23c]::iter::adapters::map::Map<core[9662e8fc1527f23c]::iter::adapters::copied::Copied<core[9662e8fc1527f23c]::slice::iter::Iter<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg>>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_with<hir_ty[cdb9a6d3e6bba482]::next_solver::normalize::NormalizationFolder>::{closure#0}>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs>::new_from_iter<core[9662e8fc1527f23c]::iter::adapters::map::Map<core[9662e8fc1527f23c]::iter::adapters::copied::Copied<core[9662e8fc1527f23c]::slice::iter::Iter<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg>>, <hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArgs as ra_ap_rustc_type_ir[4e6de8744a899384]::fold::TypeFoldable<hir_ty[cdb9a6d3e6bba482]::next_solver::interner::DbInterner>>::try_fold_with<hir_ty[cdb9a6d3e6bba482]::next_solver::normalize::NormalizationFolder>::{closure#0}>, core[9662e8fc1527f23c]::result::Result<hir_ty[cdb9a6d3e6bba482]::next_solver::generic_arg::GenericArg, alloc[e138f46f1eef3ed4]::vec::Vec<hir_ty[cdb9a6d3e6bba482]::next_solver::fulfill::NextSolverError>>>::{closure#0}>
  76:     0x55c8a78915ed - hir_ty[cdb9a6d3e6bba482]::method_resolution::lookup_impl_assoc_item_for_trait_ref
  77:     0x55c8a7890d63 - hir_ty[cdb9a6d3e6bba482]::method_resolution::lookup_impl_const
  78:     0x55c8a7198a1b - <hir[c107f094967a75ab]::source_analyzer::SourceAnalyzer>::resolve_impl_const_or_trait_def_with_subst
  79:     0x55c8a71cb9eb - <hir[c107f094967a75ab]::semantics::SemanticsImpl>::resolve_path_with_subst
  80:     0x55c8a7fbc990 - <ide_db[d022570643ec6e19]::defs::NameRefClass>::classify
  81:     0x55c8a7b2696f - ide[37737ece80204ca3]::syntax_highlighting::highlight
  82:     0x55c8a7b5fe6e - ide[37737ece80204ca3]::syntax_highlighting::html::highlight_as_html_with_config
  83:     0x55c8a7ac6dec - <ide[37737ece80204ca3]::Analysis>::highlight_as_html
  84:     0x55c8a8515872 - <rust_analyzer[c9a7b5a74bd4f6b9]::cli::flags::Highlight>::run
  85:     0x55c8a87b5034 - rust_analyzer[e3769bb504499c95]::main
  86:     0x55c8a874b713 - std[cf0678d25afc9ccf]::sys::backtrace::__rust_begin_short_backtrace::<fn() -> core[9662e8fc1527f23c]::result::Result<std[cf0678d25afc9ccf]::process::ExitCode, anyhow[6279a09abd95b935]::Error>, core[9662e8fc1527f23c]::result::Result<std[cf0678d25afc9ccf]::process::ExitCode, anyhow[6279a09abd95b935]::Error>>
  87:     0x55c8a87ae082 - std[cf0678d25afc9ccf]::rt::lang_start::<core[9662e8fc1527f23c]::result::Result<std[cf0678d25afc9ccf]::process::ExitCode, anyhow[6279a09abd95b935]::Error>>::{closure#0}
  88:     0x7f589976af99 - std[cf0678d25afc9ccf]::rt::lang_start_internal
  89:     0x55c8a87ce148 - main
  90:     0x7f5893027741 - <unknown>
  91:     0x7f5893027879 - __libc_start_main
  92:     0x55c8a70bf6e9 - <unknown>
  93:                0x0 - <unknown>

rust-analyzer 1.99.0-nightly (d62fb1c 2026-07-16)

Run the reported rust-analyzer highlight command on the supplied code.rs reproducer and confirm the panic. Start with the binder.rs location in the stack trace and the hir_ty::next_solver frames to trace the missing bound constant. Done means highlighting completes without this panic for the reproducer.