Skip to content

[Extension types] Add tests that extension types cannot implement Never #2491

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

Closed
sgrekhov opened this issue Jan 17, 2024 · 0 comments
Closed
Assignees

Comments

@sgrekhov
Copy link
Contributor

There is no co19 test checking that it is a compile-time error if an extension type implements type Never

@sgrekhov sgrekhov self-assigned this Jan 17, 2024
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Jan 17, 2024
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue 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
Projects
None yet
Development

No branches or pull requests

1 participant