Björn Fahller

This is an interesting idea that I have not thought of. As it is currently written it is not possible, but it may be achievable. I'll see what I can...

I was hoping you'd add a test case, I asked for. Anyway, I went ahead and tried to add the following to `compiling_tests.hpp`, so as to get it under test....

Yes, it's with your fix. The difference is that I took the template thing one step further, and made the mock class a template too. With the mock class being...

Yeah, it's worth considering. I'm not that fond of the duplication of the base name, but it might be impossible to avoid.

No, that's ugly. I'm actually contemplating accepting your original PR, but with documentation stating the limitation and how you can work around it by introducing the type by hand. The...

When I had a working MSVC setup, I used to report the compiler bugs I found, but they were rarely fixed. Now I've just given up. BTW, I'm likely to...

Thank you. I've spent a lot of time the last few days, trying to simplify the code, but things are not going well (unless you count 3 filed compiler bug...

Here's compilation with MSVC. It took removing all conditional `noexcept` specifiers, and rewriting a few of the `-> decltype()` specifiers. https://gcc.godbolt.org/z/96Zhvw I'll see if it is possible to simplify the...

Proof of concept implementation supporting latest clang, gcc and MSVC. Sacrifices are made regarding primarily `noexcept`, but in some cases also SFINAE friendly return type deduction. This includes all the...

That's problematic, and there already is one: ```Cpp #include if (std::all_of(s.begin(), s.end(), [](auto x) { return x == 1; }) ... ``` Or, if I get my higher order functions...