Barry Revzin

Clarify checked vs unchecked parameters

1

The current wording is unclear as to which part of the syntax makes a parameter checked vs unchecked (it looks like it's the `:!`). I'm also suggesting referring to unchecked...

Toggle Diffs

1

I've seen several papers that provide a check-box to just hide ``-ed text from the wording. I think this helps read what the wording is intended to be like, for...

Partial implementation of P2325

1

Fixes #1707. This is a partial implementation, in that I'm removing the requirements of default construction from the concepts and removing the partially-formed default constructors that I removed in that...

An action::transform that might change types

3

I have the following setup: ```cpp struct Widget { int weight; std::string name; }; auto get_widgets() -> std::vector ``` And I want to get a vector of the widget names....

Misleading error reporting when a CHECK calls a REQUIRE

10

## Description If a `CHECK()` assertion internally calls a function that does a `REQUIRE()` assertion that fails, we get a very misleading message. ### Steps to reproduce Here is the...

Some ranges of char are misprinted or don't compile

17

[First example](https://godbolt.org/z/4WeMdPdj7): ```cpp #include #include #include int main() { std::string line = "a,b-c,d-e,f"; fmt::print("{}\n", line | std::views::split(',')); } ``` With C++20, this prints the expected/desired: ``` [['a'], ['b', '-', 'c'],...

overload's constructor isn't constrained

2

Short example: ``` #include "boost/hana.hpp" void f(); void g(int); int main() { auto a = boost::hana::overload(f,g); auto b(a); // error } ``` This is because `overload_t`'s constructor doesn't have any...

Ensuring that poly<C, non_owning_storage, V> is trivially copyable.

2

This is the boring boilerplate bullshit that makes it possible for `poly` to be trivially copyable - which is just a nice thing in certain contexts. There are more steps...

Constraints vs static_assert

1

(This is not necessarily an issue). The way that the various type classes are implemented all look basically like [this](https://github.com/dkormalev/cefal/blob/95b583ad569274172ae53c14511861f602051dd8/include/cefal/instances/monoid/std_optional.h#L39-L42): ```cpp template static std::optional append(T1&& left, T2&& right) { static_assert(std::is_same_v,...

Fixes #1729. Apparently `` just defines a macro named `I`, which is obviously pretty hostile in our world where `I` is the obvious template parameter name for an iterator and...