C++20 constraints do not work well with inheritance

I suggest filing a bug