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.

This topic was automatically closed after 27 days. New replies are no longer allowed.