mirror of
https://github.com/enso-org/enso.git
synced 2024-12-24 08:12:06 +03:00
2964457d48
Implementation of **type checks** for **intersection types**. The idea is to split the list of `types[]` in `EnsoMultiValue` into two parts: - first `methodDispatchTypes` represent the types the value _"has been cast to"_ - the rest of the types represent the types the value _"can be cast to"_ By performing this separation we address the #10882 requirements. After a type check only methods available on the `methodDispatchTypes` can be invoked. However the value can still be cast to all the possible types. |
||
|---|---|---|
| .. | ||
| akka-wrapper/src/main/java | ||
| benchmarks-common/src/main/java | ||
| desktop-environment/src | ||
| directory-watcher-wrapper/src/main/java | ||
| fansi-wrapper/src/main/java | ||
| jna-wrapper/src/main/java | ||
| language-server-deps-wrapper/src/main/java | ||
| persistance/src | ||
| persistance-dsl/src/main/java/org/enso/persist/impl | ||
| scala-libs-wrapper/src/main/java | ||
| test-utils/src/main/java/org/enso/test/utils | ||
| ydoc-polyfill/src | ||
| ydoc-server/src | ||
| zio-wrapper/src/main/java | ||