#3205 - Re-work type system to not use 'mixed' types (on hold)

Identifier #3205
Issue type Feature request or suggestion
Title Re-work type system to not use 'mixed' types (on hold)
Status Open
Handling member Deleted
Addon General / Uncategorised
Description Eliminate 'mixed' types being ever set explicitly.

'mixed' should only occur when doing type analysis and finding a conflict.

Instead we will support union types. Union types will be carried with variables as an additional possibility than just a single type. The union type will never expand or switch-out, although a non-union type can become union if it has union assigned to it.

Any use of 'mixed' in phpdoc should be replaced with union types.

Any variable will be allowed to take a 'null' value.

The mixed() function can be removed.
Steps to reproduce

Additional information This will allow better robustness and removes the mixed() function which is currently used very inconsistently.
Related to

#2747 - PHP refresh (ongoing)
Funded? No
The system will post a comment when this issue is modified (e.g., status changes). To be notified of this, click "Enable comment notifications".

Rating

Unrated