Panic in the type inference

Code to reproduce

entity foo() {
  let b = &true;
  let _ = inst bar(b);
}
entity bar(b: &bool) {}

playground link

Reported error

thread 'main' panicked at spade-mir/src/type_list.rs:70:32:
No type found for b_n552