https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125981
--- Comment #10 from Ян Чуркин <yanchurkin at gmail dot com> --- (In reply to Jonathan Wakely from comment #9) > To be more specific ... > > (In reply to Ян Чуркин from comment #7) > > The point is that the > > predicate result type in this PR does model boolean-testable. > > No it doesn't. > > > logic_t is convertible to bool and !logic_t is too, so it models the > > concept. > > No, that's not correct. It satisfies the syntactic parts of the concept. To > model the concept it must also meet the semantic requirements. > > Your predicate does not model the concept. Thank you for the explanation. I am sorry for misunderstanding the concept requirements. Just for information - I met this issue (segfault on out-of-bounds access) on the project based on open-source library slang - https://github.com/MikePopoloski/slang
