Hello internals, I've expanded on the RFC: https://wiki.php.net/rfc/true-type
Please let me know if there are still aspects which need clarification. I will also say that I think enums are far superior to literal types, but only having false and not true is extremely weird to me (and in a pure type theoretical perspective I would have preferred to not even have false). The complexity of the implementation is also "trivial" because the PHP engine already considers true and false to be two different ZVAL types, whereas a complete literal type implementation is going to be way more complex and I doubt be far from efficient. Best regards, George P. Banyard
