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.

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

Add more generic classes tests #2136

Closed
sgrekhov opened this issue Jul 17, 2023 · 0 comments
Closed

Add more generic classes tests #2136

sgrekhov opened this issue Jul 17, 2023 · 0 comments
Assignees
Labels
type-enhancement A request for a change that isn't a bug

Comments

@sgrekhov
Copy link
Contributor

Add co19 tests for the following satatement from the spec

If a generic class named G declares a type variable named
X, it is a compile-time error if X is equal to G, or if G has a member whose
basename is X, or if G has a constructor named G.X.

@sgrekhov sgrekhov added the type-enhancement A request for a change that isn't a bug label Jul 17, 2023
@sgrekhov sgrekhov self-assigned this Jul 17, 2023
sgrekhov added a commit to sgrekhov/co19 that referenced this issue Jul 17, 2023
copybara-service bot pushed a commit to dart-lang/sdk that referenced this issue Jul 21, 2023
2023-07-21 sgrekhov22@gmail.com Fixes dart-lang/co19#2141. Add covariant instance variable tests (dart-lang/co19#2144)
2023-07-18 sgrekhov22@gmail.com dart-lang/co19#2138. Fix assertions in some functions tests (dart-lang/co19#2140)
2023-07-17 sgrekhov22@gmail.com Fixes dart-lang/co19#2136. Add type variable conflict test (dart-lang/co19#2137)
2023-07-14 sgrekhov22@gmail.com Fixes dart-lang/co19#2127. Add tests for covariant-by-class parameters (dart-lang/co19#2133)

Change-Id: I0eb608e6bebaf9bcf1acced5e6db98e5ce622979
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/315400
Commit-Queue: Alexander Thomas <athom@google.com>
Reviewed-by: Alexander Thomas <athom@google.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

1 participant