pub fn debug_bound_var<T: Write>( fmt: &mut T, bound_index: BoundVarIndexKind, var: impl Debug, ) -> Result<(), Error>