Skip to content

Perform a change which was part of PR 4669, but omitted by mistake#4670

Open
eernstg wants to merge 1 commit intomainfrom
fix_4669_mar26
Open

Perform a change which was part of PR 4669, but omitted by mistake#4670
eernstg wants to merge 1 commit intomainfrom
fix_4669_mar26

Conversation

@eernstg
Copy link
Copy Markdown
Member

@eernstg eernstg commented Mar 30, 2026

This is an update that should have been performed as part of #4669, but was omitted by mistake: The requirement that parameters (in general) in an augmentation chain should have the same name is obsolete; this requirement is satisfied by construction with named parameters, and it is superseded by new rules for positional parameters. Hence, this PR removes that requirement.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant