pub fn write_params_bounds<'db>( f: &mut HirFormatter<'_, 'db>, predicates: &[Clause<'db>], ) -> Result