Subject: bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers

From: Philip Kaludercic <[email-masked]>
Date: Mon, 14 Aug 2023 14:44:38 +0000

Helmut Eller <[email-masked]> writes:

> On Mon, Aug 14 2023, Philip Kaludercic wrote:
>
>> That being said, I agree that in cases like `char-after' the information
>> of a very specific type like that one is limited.  I don't know if there
>> is a sensible heuristic to reformat the type into something like
>>
>>   (function (&optional position) (or position null))
>>
>> using some kind of type aliasing, but it might be better to not
>> highlight the information so prominently?
>
> It would make sense to rewrite
>   (integer -2305843009213693952 2305843009213693951)
> as fixnum.

My point is rather that the actual return value is not just any number,
but a "position" in a buffer.  So even fixnum would be too general.

> Helmut