Nice! Thanks for moving on that so quickly, @eddyb! For reference, here is a link to the current grammar: https://github.com/rust-lang/rfcs/blob/master/text/2603-rust-symbol-name-mangling-v0.md#syntax-of-mangled-names

And here is the relevant part of the grammar that this PR will supersede:

<const> = <type> <const-data>
        | "p" // placeholder, shown as _
        | <backref>

// The encoding of a constant depends on its type. Integers use their value,
// in base 16 (0-9a-f), not their memory representation. Negative integer
// values are preceded with "n". The bool value false is encoded as `0_`, true
// value as `1_`. The char constants are encoded using their Unicode scalar
// value.
<const-data> = ["n"] {<hex-digit>} "_"

This looks great!

So now we just need support for this to land in rustc-demangle so that we can add test cases, right?

I extended LLVM Rust demangler with support for proposed grammar. Apart from issue with u in <const-fields>, everything else seems good to me. Special casing &str to avoid printing &*".." was easy enough.

Since you are also updating the test cases here. I remember having to change the src/test/codegen/vec-shrink-panic.rs when enabling v0 by default. Is this no longer the case?

The first and third production can start with u because of Punycode encoded identifiers.

Great catch, @tmiasko!

What remains to be done here? Can I help move this along somehow?

If I understand correctly the sequence for making progress here is:

• Add support for the grammar additions to https://github.com/alexcrichton/rustc-demangle
• Update rustc's version of rustc-demangle
• Add test cases for the things added here to https://github.com/rust-lang/rust/tree/master/src/test/ui/symbol-names
• Make the new mangling scheme the default (which will also give us more testing of the changes here in the wild)
• Amend the RFC with the grammar changes

Does that sound right, @eddyb & @tmiasko?

EDIT: Only the first three steps are needed to merge this PR.

Apologies for not leaving a comment with the status, I've had an in-progress rustc-demangle branch (with necessary prerequsites - though I've landed some of them separately already - and the hardest parts like str demangling) for the past week or two, I've only not submitted yet because a few other things came up. I'll try to wrap it up soon.

Demangling PR up at alexcrichton/rustc-demangle#55 - next step is submitting the RFC amendment, I'll try to get to that later today.

I've opened the RFC amendment PR (rust-lang/rfcs#3161 - should someone FCP it?) and just pushed a few commits with symbol-names tests.

We've already done a crater run through #85530, so I think we're only blocked on the RFC amendment (and reviews, I guess? if any are left).

r? @oli-obk

@bors r=michaelwoerister,oli-obk

📌 Commit b4fcf1b has been approved by michaelwoerister,oli-obk

@bors rollup=never

⌛ Testing commit b4fcf1b with merge 707a1c4...

💔 Test failed - checks-actions

Hopefully #87194 (comment) is fixed by the new commit to compiletest.

@bors r=michaelwoerister,oli-obk

📌 Commit 24526bb has been approved by michaelwoerister,oli-obk

⌛ Testing commit 24526bb with merge ad02dc4...

☀️ Test successful - checks-actions
Approved by: michaelwoerister,oli-obk
Pushing ad02dc4 to master...