Skip to content

Fixes #2491. Add test that an extension type cannot implement type Never #2493

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jan 17, 2024

Conversation

sgrekhov
Copy link
Contributor

Please note that the statement in the assertion doesn't contain any mentions of type Never but I didn't found a better one in the spec. May be the type Never was just forgotten there?

Copy link
Member

@eernstg eernstg left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

One could say that this is just one more test where we determine that an error is reported in the case where the representation type isn't a subtype of an implemented non-extension type. Anyway, it's ok to have this special case even if it is somewhat redundant with other tests where the relation between representation type and implemented types is being tested.

@eernstg eernstg merged commit 2b5ca89 into dart-lang:master Jan 17, 2024
copybara-service bot pushed a commit to dart-lang/sdk that referenced this pull request Jan 19, 2024
2024-01-18 [email protected] dart-lang/co19#2477. Add test checking that an operator can be redeclared (dart-lang/co19#2495)
2024-01-18 [email protected] Fixes dart-lang/co19#2479. Delete outdated test co19/LibTest/ffi/sizeOf/sizeOf_A01_t02 (dart-lang/co19#2483)
2024-01-17 [email protected] dart-lang/co19#2485. Add constants `as T` tests (dart-lang/co19#2489)
2024-01-17 [email protected] dart-lang/co19#2477. Add more constant evaluation tests (dart-lang/co19#2484)
2024-01-17 [email protected] Fixes dart-lang/co19#2487. Add tests for type cast and type `void` (dart-lang/co19#2492)
2024-01-17 [email protected] Fixes dart-lang/co19#2486. `Pointer.elementAt` replaced by `+` operator (dart-lang/co19#2488)
2024-01-17 [email protected] Fixes dart-lang/co19#2491. Add test that an extension type cannot implement type `Never` (dart-lang/co19#2493)
2024-01-12 [email protected] dart-lang/co19#2477. Add match operators constants evaluation tests (dart-lang/co19#2482)

Change-Id: I1dee628d4685b0b24296aaabfcf4abcb659fa765
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/347240
Reviewed-by: Alexander Thomas <[email protected]>
Reviewed-by: William Hesse <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants