route.placeholder_duplicate: Placeholder name is used twice in a route's path

Placeholder name is used twice in a route's path.

Area 7, HTTP; not declinable; the next step is usually the agent's.

Each placeholder is named once in a path, its group's prefix included:

example

type Memo = Text {    max_length: 200}type MemoId = Uuid {}type AddMemo = Input {    text: Memo}type MemoView = Output {    text: Memo}action add_memo(input: AddMemo) -> MemoView {    return MemoView {        text: input.text    }}action tag_memo(memo_id: MemoId, input: AddMemo) -> MemoView {    return MemoView {        text: input.text    }}routes Memos {    prefix: /memos/{memo_id: MemoId}    POST /{memo_id: MemoId} {        input: AddMemo        output: MemoView        run: tag_memo(memo_id, input)    }}

jadpo checkcheck failed: 1 error, 1 file

error Placeholder memo_id appears twice

--> main.jadpo:30:12

   |28 |     prefix: /memos/{memo_id: MemoId}   |                     ------- first named here30 |     POST /{memo_id: MemoId} {   |            ^^^^^^^ named again

reason: Each placeholder reaches what the route runs by its name, so a path names each once, its group's prefix included.
next: Rename one memo_id (agent)
rule: route.placeholder_duplicate
help: https://jadpo.dev/docs/errors/route.placeholder_duplicate