`@doc` in `@kwdef` lead syntax error: duplicate field name

[inkydragon]

MWE

bug.jl

"""
    Bug60871(; x)

kw constructor for `struct Bug60871`
"""
@kwdef struct Bug60871
    x

    @doc """
        Bug60871(x)

    normal constructor with input check
    """
    function Bug60871(x)
        # some checks here
        return new(x)
    end
end

Errors

v1.12.4

julia> include("bug.jl")
Bug60871

julia> methods(Bug60871)
# 2 methods for type constructor:
 [1] Bug60871(; x)
     @ /mnt/j/fork4jl/Kirstine.jl/bug.jl:6
 [2] Bug60871(x)
     @ /mnt/j/fork4jl/Kirstine.jl/bug.jl:14

help?> Bug60871
search: Bug60871

  Bug60871(x)

  normal constructor with input check

  ────────────────────────────────────

  Bug60871(; x)

  kw constructor for struct Bug60871

julia> 

1.13 / nightly

julia> include("bug.jl")
ERROR: LoadError: syntax: duplicate field name: "#1#val" is not unique around util.jl:633
Stacktrace:
 [1] top-level scope
   @ /mnt/j/fork4jl/Kirstine.jl/bug.jl:1
 [2] include(mapexpr::Function, mod::Module, _path::String)
   @ Base ./Base.jl:310
 [3] top-level scope
   @ REPL[1]:1
in expression starting at /mnt/j/fork4jl/Kirstine.jl/bug.jl:1

julia> methods(Bug60871)
ERROR: UndefVarError: `Bug60871` not defined in `Main`

xref:

• nanosoldier/pkgeval/by_date/2026-01/26/Kirstine.primary.log
• https://github.com/lsandig/Kirstine.jl/blob/ceec8f6f178ae9b241eb72e9f9bd6ea126e95dc3/src/optimizer-pso.jl#L38-L47

• julia/src/julia-syntax.scm

  Lines 992 to 993 in 5532bea

  	(let ((dups (has-dups field-names)))
  	(if dups (error (string "duplicate field name: \"" (car dups) "\" is not unique"))))