pub trait BoundVarLike<I: Interner> { // Required methods fn var(self) -> BoundVar; fn assert_eq(self, var: I::BoundVarKind); }