pub fn fmt_instance( f: &mut Formatter<'_>, instance: Instance<'_>, type_length: Option<Limit>, ) -> Result