Lightning Talk: My Favourite UB - Part II Russell's Paradox in C++ - Cassio Neri - C++ on Sea 2024

[@dadisuperman3472]

There is a mistake @3:19 P(x) = x ∉ x; // wrong And object is not a member of itself, an object is a member of a set. The question should be: Does A⊆A? Because A is a set. P(A) doesn't make sense because P is applied on objects of A.

[@ABaumstumpf]

Huh - but why is it an ODR violation? if no conversion exists then the template provides one - so do we somehow get a second definition?

[@Voy2378]

In Rust you can have set that contains all sets ;)