Skip to content
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.

Sign up for GitHub

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

Jump to bottom

[CFE][Extension types] No error if the representation type is a bottom type #53824

Closed
sgrekhov opened this issue Oct 23, 2023 · 0 comments
Closed

[CFE][Extension types] No error if the representation type is a bottom type #53824

sgrekhov opened this issue Oct 23, 2023 · 0 comments
Assignees
@chloestefantsova
Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. cfe-feature-extension-types Implement extension types feature in the CFE front-end-missing-error

Comments

@sgrekhov
Copy link
Contributor

According to the extension types feature specification

A compile-time error occurs if the representation type of an extension type declaration is a bottom type.

But there is no such error in CFE

extension type ET1(Never _) {} // No error

extension type ET2<T extends Never>(T _) {} // No error

Related analyzer issue #53823

Tested on Dart SDK version: 3.3.0-edge.849459109a364f7f80ca82647ad088a4a6157ebc (be) (Sat Oct 21 02:18:48 2023 +0000) on "macos_x64"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chloestefantsova chloestefantsova

Labels
area-front-end Use area-front-end for front end / CFE / kernel format related issues. cfe-feature-extension-types Implement extension types feature in the CFE front-end-missing-error
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@chloestefantsova @sgrekhov