GNU bug report logs - #65092
30.0.50; C-h f shows malformed description for vc-mode

Message received at submit <at> debbugs.gnu.org:

Received: (at submit) by debbugs.gnu.org; 5 Aug 2023 11:25:27 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Aug 05 07:25:27 2023
Received: from localhost ([127.0.0.1]:55923 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1qSFPS-000651-SI
	for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:27 -0400
Received: from lists.gnu.org ([2001:470:142::17]:52962)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1qSFPP-00064j-MC
 for submit <at> debbugs.gnu.org; Sat, 05 Aug 2023 07:25:26 -0400
Received: from eggs.gnu.org ([2001:470:142:3::10])
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPK-0006DJ-DK
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
Received: from mail.eshelyaron.com ([107.175.124.16] helo=eshelyaron.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <me@HIDDEN>) id 1qSFPI-0002Sn-Ob
 for bug-gnu-emacs@HIDDEN; Sat, 05 Aug 2023 07:25:18 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=eshelyaron.com;
 s=mail; t=1691234715;
 bh=eWTBiwU5dNK9x9XMmYVNQzDTHgUQai3TdPcV7ZYWljQ=;
 h=From:To:Subject:Date:From;
 b=cLHz2uQpFwnR5SZ3lmHp51JsAyaF9LJL9p4XnI19tbkEXJrVJdteXfb6yTskde8IQ
 7EERm5V2MCA/rFZv4HzVWGK79kwhZKYH7aVF4ZBhla0WfRck/qMeGiW96T16fo9Em0
 kljSDuIU9wLscgNPQb4s9zbk8CHAdw0zk0islWQvPd7tTgShmgH6vW774QiV3mJqzb
 1HV5AZ1g/jYcnoL+uI4wVuQy3QLIpYnIJBcKUWiczeaQFp6BWY5jGR45SNqID3CG5Y
 zsWGT42xsBRQICjK1Cm5iMt5YtloHfIWwTqLOqAWUb4V8+n7D/BQvmXg3xuaxt4YVc
 bX2K+vEd77OFg==
From: Eshel Yaron <me@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 30.0.50; C-h f shows malformed description for vc-mode
Date: Sat, 05 Aug 2023 14:25:11 +0300
Message-ID: <m1sf8xn33c.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Received-SPF: pass client-ip=107.175.124.16; envelope-from=me@HIDDEN;
 helo=eshelyaron.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)


I seems to have stumbled upon an issue with type inference on the master
branch that causes `describe-function` to display the following
malformed description for the function `vc-mode`:

    vc-mode is a native-compiled Lisp function in =E2=80=98vc-hooks.el=E2=
=80=99.

    (vc-mode &optional ARG)

    Inferred type: (function (&optional t) (member Version Control minor
    mode.  This minor mode is automatically activated whenever you visit a
    file under control of one of the revision control systems in
    `vc-handled-backends'.  VC commands are globally reachable under the
    prefix `\[vc-prefix-map]': \{vc-prefix-map}))

    Version Control minor mode.
    This minor mode is automatically activated whenever you...

To reproduce, do `C-h f vc-mode RET` in `emacs -Q`.

Basically, it looks like the inferred type somehow includes the
function's docstring verbatim:

--8<---------------cut here---------------start------------->8---
(comp-function-type-spec 'vc-mode)
=3D> ((function (&optional t) (member "Version Control minor mode.
This minor mode is automatically activated whenever you visit a file under
control of one of the revision control systems in `vc-handled-backends'.
VC commands are globally reachable under the prefix `\\[vc-prefix-map]':
\\{vc-prefix-map}")) . inferred)
--8<---------------cut here---------------end--------------->8---




In GNU Emacs 30.0.50 (build 3, x86_64-apple-darwin22.5.0, NS
 appkit-2299.60 Version 13.4 (Build 22F66)) of 2023-08-03 built on
 Dazzs-MBP
Repository revision: 7b30e11b2ac5cd360db7ee8b6aed07bd918b93a2
Repository branch: master
Windowing system distributor 'Apple', version 10.3.2299
System Description:  macOS 13.4

Configured using:
 'configure 'CFLAGS=3D-g0 -O3' --with-native-compilation --with-json
 --with-imagemagick --with-tree-sitter --enable-link-time-optimization'

Configured features:
ACL DBUS GIF GMP GNUTLS IMAGEMAGICK JPEG JSON LCMS2 LIBXML2 MODULES
NATIVE_COMP NOTIFY KQUEUE NS PDUMPER PNG SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM ZLIB

Important settings:
  value of $LANG: en_US.UTF-8
  locale-coding-system: utf-8-unix

Major mode: Help

Minor modes in effect:
  tooltip-mode: t
  global-eldoc-mode: t
  show-paren-mode: t
  electric-indent-mode: t
  mouse-wheel-mode: t
  tool-bar-mode: t
  menu-bar-mode: t
  file-name-shadow-mode: t
  isearch-fold-quotes-mode: t
  global-font-lock-mode: t
  font-lock-mode: t
  blink-cursor-mode: t
  buffer-read-only: t
  line-number-mode: t
  indent-tabs-mode: t
  transient-mark-mode: t
  auto-composition-mode: t
  auto-encryption-mode: t
  auto-compression-mode: t

Load-path shadows:
None found.

Features:
(shadow sort mail-extr emacsbug message mailcap yank-media puny dired
dired-loaddefs rfc822 mml mml-sec password-cache epa derived epg rfc6068
epg-config gnus-util mm-decode mm-bodies mm-encode mail-parse rfc2231
mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums
mm-util mail-prsvr mail-utils time-date shortdoc vc-annotate vc-dir ewoc
vc vc-filewise vc-git diff-mode easy-mmode vc-dispatcher compile
text-property-search comint ansi-osc ansi-color ring comp comp-cstr
warnings icons subr-x rx cl-seq cl-macs gv cl-extra bytecomp
byte-compile thingatpt help-fns radix-tree help-mode cl-loaddefs cl-lib
rmc iso-transl tooltip cconv eldoc paren electric uniquify ediff-hook
vc-hooks lisp-float-type elisp-mode mwheel term/ns-win ns-win
ucs-normalize mule-util term/common-win tool-bar dnd fontset image
regexp-opt fringe tabulated-list replace newcomment text-mode lisp-mode
prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu
timer select scroll-bar mouse jit-lock font-lock syntax font-core
term/tty-colors frame minibuffer nadvice seq simple cl-generic
indonesian philippine cham georgian utf-8-lang misc-lang vietnamese
tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek
romanian slovak czech european ethiopic indian cyrillic chinese
composite emoji-zwj charscript charprop case-table epa-hook
jka-cmpr-hook help abbrev obarray oclosure cl-preloaded button loaddefs
theme-loaddefs faces cus-face macroexp files window text-properties
overlay sha1 md5 base64 format env code-pages mule custom widget keymap
hashtable-print-readable backquote threads dbusbind kqueue cocoa ns
lcms2 multi-tty make-network-process native-compile emacs)

Memory information:
((conses 16 117625 14245) (symbols 48 8927 0) (strings 32 28340 1637)
 (string-bytes 1 843928) (vectors 16 20095)
 (vector-slots 8 394629 13087) (floats 8 92 641) (intervals 56 470 0)
 (buffers 984 13))