fn try_write_type_inner<C, W>( ctx: &C, inner: &TypeInner, out: &mut W, ) -> Result<(), WriteTypeError>where C: TypeContext + ?Sized, W: Write,