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

#2142. Change static analysis inline class tests to be extension type tests. Part 1 #2157

Merged
merged 3 commits into from
Aug 2, 2023

Conversation

sgrekhov
Copy link
Contributor

No description provided.

Copy link
Contributor

@chloestefantsova chloestefantsova left a comment

Choose a reason for hiding this comment

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

LGTM with some small questions and suggestions.

/// }
/// It is then allowed to use V<T1, .. Ts> as a type.
/// It is then allowed to use V<T1, .. Tk> as a type.
Copy link
Contributor

Choose a reason for hiding this comment

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

Here and below: where does k from Tk come from?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Assertion extended

Comment on lines +18 to +19
typedef void Foo1();
typedef Foo2 = int Function(int);
Copy link
Contributor

Choose a reason for hiding this comment

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

It would also be nice to have a test where the type following the implements keyword is a function type directly, not a type alias that expands into a function type.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Added

Copy link
Contributor Author

@sgrekhov sgrekhov left a comment

Choose a reason for hiding this comment

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

PR updated. Please take another look

/// }
/// It is then allowed to use V<T1, .. Ts> as a type.
/// It is then allowed to use V<T1, .. Tk> as a type.
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Assertion extended

Comment on lines +18 to +19
typedef void Foo1();
typedef Foo2 = int Function(int);
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Added

Copy link
Contributor

@chloestefantsova chloestefantsova left a comment

Choose a reason for hiding this comment

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

LGTM. Thanks!

@chloestefantsova chloestefantsova merged commit 815140e into dart-lang:master Aug 2, 2023
1 of 2 checks passed
copybara-service bot pushed a commit to dart-lang/sdk that referenced this pull request Aug 4, 2023
2023-08-03 sgrekhov22@gmail.com dart-lang/co19#2142. Rename and move static analysis extension type tests (dart-lang/co19#2164)
2023-08-03 sgrekhov22@gmail.com dart-lang/co19#2142. Add more static analysis inline class tests (dart-lang/co19#2163)
2023-08-02 sgrekhov22@gmail.com dart-lang/co19#2142. Turn static analysis inline classes tests to extension type tests. Part 2 (dart-lang/co19#2161)
2023-08-02 sgrekhov22@gmail.com dart-lang/co19#2142. Move dynamic semantics member invocation tests to Extension-types folder (dart-lang/co19#2156)
2023-08-02 sgrekhov22@gmail.com dart-lang/co19#2142. Change static analysis inline class tests to be extension type tests. Part 1 (dart-lang/co19#2157)
2023-08-01 49699333+dependabot[bot]@users.noreply.github.com Bump actions/setup-java from 3.11.0 to 3.12.0 (dart-lang/co19#2160)
2023-07-28 sgrekhov22@gmail.com dart-lang/co19#2142. Change dynamic semantics member invocation tests to be extension type tests (dart-lang/co19#2154)

Change-Id: Icfb257200f9922971390c96bf8fb51093c4becfe
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/318060
Reviewed-by: Alexander Thomas <athom@google.com>
@sgrekhov sgrekhov deleted the co19-2142-4 branch November 14, 2023 11:29
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