ice: `self.remaining() > 0`

[matthiaskrgr]

rust-analyzer 1.77.0-nightly (595bc6f 2024-01-05)
rust-analyzer highlight < a.rs

#[lang="eq"]
pub trait Eq {
    fn eq(&self, ) -> bool;
    
}

macro_rules! totaleq_impl(
    ($t:ty) => {
        impl TotalEq for $t {
            #
            fn equals(&self, other: &$t) -> bool { *self == *other }
        }
    }
)


totaleq_impl!(i16)

thread 'main' panicked at crates/hir-ty/src/builder.rs:78:9:
assertion failed: self.remaining() > 0
stack backtrace:
   0: rust_begin_unwind
             at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/std/src/panicking.rs:645:5
   1: core::panicking::panic_fmt
             at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/core/src/panicking.rs:72:14
   2: core::panicking::panic
             at /rustc/595bc6f00369475047538fdae1ff8cea692ac385/library/core/src/panicking.rs:144:5
   3: <hir_ty::builder::TyBuilder<()>>::push::<chalk_ir::Ty<hir_ty::interner::Interner>>
   4: <hir_ty::infer::InferenceContext>::infer_overloadable_binop
   5: <hir_ty::infer::InferenceContext>::infer_expr_inner
   6: <hir_ty::infer::InferenceContext>::infer_expr_coerce
   7: <hir_ty::infer::InferenceContext>::infer_block
   8: <hir_ty::infer::InferenceContext>::infer_expr_inner
   9: <hir_ty::infer::InferenceContext>::infer_return
  10: hir_ty::infer::infer_query
  11: <salsa::derived::slot::Slot<hir_ty::db::InferQueryQuery, salsa::derived::AlwaysMemoizeValue>>::execute
  12: <_ as hir_ty::db::HirDatabase>::infer_query::__shim
  13: hir_ty::db::infer_wait
  14: <hir::semantics::SemanticsImpl>::analyze_impl
  15: <hir::semantics::SemanticsImpl>::resolve_path
  16: <ide_db::defs::NameRefClass>::classify
  17: ide::syntax_highlighting::highlight
  18: <ide::Analysis>::highlight_as_html
  19: <rust_analyzer::cli::flags::Highlight>::run
  20: rust_analyzer::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.