Comments (1)
eernstg
commented on June 26, 2024
Based on these discussions, the proposal in #3182 makes it an error for an extension type to have several kinds of types in its implements list, including record types, function types, top types (covering dynamic, void, and more), Null, and union types (T? and FutureOr<T>).
We can start up using a relatively strict rule here, and then add types like T? if it turns out to be useful and work well (e.g., with some updated version of UP).
from language.
Related Issues (20)
- Do we need `Any`? What's the breakage if `Object?` becomes a non-top type? HOT 13
- Add possibility to access Enum values by its Type HOT 2
- Downward type inference does not consider possible nullable solution when matching `X?` HOT 8
- Getting information that an object has lost last pointer to it. HOT 2
- Type safe zero-runtime-cost sum types. HOT 8
- Unwanted Object-inference induced type errors #2 HOT 7
- Unsoundness in exhaustiveness with on clauses HOT 7
- About Runtime vs. Compiletime Checks HOT 9
- Type inference failure? HOT 4
- `Never()` factory constructor HOT 7
- Adjust the last case in UP to use classes rather than types HOT 4
- Can extension types declare abstract members? HOT 5
- implicit_this_reference_in_initializer should be allowed in lambda HOT 1
- Allow pattern matching on "spreaded" items HOT 4
- A function field should be able to extend a method HOT 8
- Inferring required named parameters without making function types a pitfall HOT 7
- Public, Private and Protected Access Modifiers HOT 1
- Inferring return type(`List<Object>`) for a function that actually evaluates to `List<Enum>`. HOT 34
- Switch statement has no subtype check when using a sealed class pattern. HOT 3
- Pattern matching brittleness HOT 8
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from language.