Proposal to add Intersection Types to the Language


In new and extends clauses, linearization matters. So it’s new A with B {} and that object might have a different implementation than new B with A {}. However, both objects are instances of type A & B.


So with will stay for those? We might want to clarify the documentation, which says

“for the moment, A with B is still allowed, but it will be deprecated and removed in the future”


Yes, with will stay for those. I’ll clarify the docs.