Implementation Issue for Super Mixins: DDC

[JekCharlsonYu]

What: Issue for implementation for DDC

ETA: 10/15 in Dart Repo.

For: SuperMixins Implementation and strawman documentation

Meta Issue: This is subsumed under the Super Mixins Meta Issue in the Language Repo

Comments: Feel free to break this further into further tasks and issues, or use as a meta issue for all the tasks in the implementation plan

Note: This is a P1 for Super Mixins

[jmesserly]

testing CL now: https://dart-review.googlesource.com/c/sdk/+/74965

DDC+Kernel support is not implemented yet because we can't tell which classes are these new mixins.

[leafpetersen]

I landed inference tests, and I'm seeing some tests that are expected to produce a compile time error and which are passing on the analyzer, failing on ddc. This seems unexpected so re-opening this for investigation.

mixin_declaration/mixin_declaration_inference_invalid_03_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_04_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_05_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_06_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_07_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_08_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_09_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167
mixin_declaration/mixin_declaration_inference_invalid_10_test: MissingCompileTimeError   # https://github.com/dart-lang/sdk/issues/34167

[jmesserly]

I'm going to open a new issue, since this one is about implementing the feature in DDC, which has been landed.

I don't see how inference/MissingCompileTimeError can be a DDC problem (we don't do inference, or produce compile errors, except in rare circumstances), but I'll take a look. It could be something related to Analyzer task model or summaries, both of which DDC uses, and Analyzer tests don't.

[jmesserly]

new bug is #34516