[clang-format] Incorrect formatting of `requires` expressions inside brace initialization

[TheAliceBaskerville]

clang-format version: 22.0.0git

Reproducer:

clang-format --style=LLVM test.cpp

test.cpp:

bool foo{requires {0;}};

clang-format output:

bool foo{requires {0;
}
}
;

Expected behavior:

bool foo{requires {0;}};

Environment:

clang-format version 22.0.0git (https://github.com/llvm/llvm-project.git 779868de6975f6fd0ea17bb9a8e929037d3752d7)
Windows 10 (22H2) 19045.6332

[llvmbot]

@llvm/issue-subscribers-clang-format

Author: TheAliceBaskerville (TheAliceBaskerville)

clang-format version: 22.0.0git

Reproducer:

clang-format --style=LLVM test.cpp

test.cpp:

bool foo{requires {0;}};

clang-format output:

bool foo{requires {0;
}
}
;

Expected behavior:

bool foo{requires {0;}};

Environment:

clang-format version 22.0.0git (https://github.com/llvm/llvm-project.git 779868de6975f6fd0ea17bb9a8e929037d3752d7)
Windows 10 (22H2) 19045.6332

[HazardyKnusperkeks]

Just out of curiosity, can you show (part of) the real code?

[TheAliceBaskerville]

@HazardyKnusperkeks sure:

template<typename Handle>
struct isValidHandle {
    static constexpr bool value{
        requires { typename Handle::SensorType; } && 
        Config::DeviceInfoConcept<
            Config::DeviceInfo<typename Handle::SensorType>,
            typename Handle::SensorType
        >
    };
};

[HazardyKnusperkeks]

Why not

template<typename Handle>
concept isValidHandle = requires { typename Handle::SensorType; } && 
        Config::DeviceInfoConcept<
            Config::DeviceInfo<typename Handle::SensorType>,
            typename Handle::SensorType
        >;

[TheAliceBaskerville]

@HazardyKnusperkeks because elsewhere in our type machinery, isValidHandle is passed as a template<template> parameter, which requires a type exposing a ::value boolean.