pub fn debug_placeholder_var<T: Write>(
    fmt: &mut T,
    universe: UniverseIndex,
    bound: BoundVar
) -> Result<(), Error>