Update: as promised by the Core chair in the bottom quote, the code is now ill-formed: If an identifier in a simple-capture appears as the declarator-id of a parameter of the lambda-declarator's parameter-declaration-clause, the program is ill-formed.