[analyzer/inline-classes] Missing warning.

[modulovalue]

As expected, the following code does not compile successfully, but the analyzer does not report any errors:

void main() {
  print(BadInt(0).j);
}

inline class BadInt {
  int i;
  
  BadInt(this.i);
  
  int j = 0;
}

Error compiling to JavaScript:
lib/main.dart:2:19:
Error: The getter 'j' isn't defined for the class 'BadInt'.
  print(BadInt(0).j);
                  ^
Error: Compilation failed.

Reproducible on DartPad

master channel
Use Flutter version 3.12.0-2.0.pre and Dart version 3.1.0-169.0.dev
+ Dart experiments: --enable-experiment=inline-class

[Edit, eernstg: Add subtask list]

• [analyzer] Missing compile-time errors for inline class with multiple instance variables #52675
• [cfe] One missing error and one unexpected error for inline class with multiple instance variables #52676

[eernstg]

We should get a compile-time error for i and for j because they are not final, and we should get a compile-time error because there is more than one instance variable in an inline class.

The analyzer does not report any errors, and the common front end reports one error which isn't any of the expected ones.

@scheglov, @johnniwinther, is this covered by existing issues or ongoing work? Is there a need to create two issues, one for the analyzer and one for the CFE?

[scheglov]

I don't work on inline classes.
@bwilkerson, @srawlins for planning.

[johnniwinther]

The work is not shared so it's probably best to have two issues.

[eernstg]

Thanks, @scheglov and @johnniwinther, I created #52675 and #52676 to cover the analyzer and the CFE, respectively.

@bwilkerson, @srawlins: Planning should then occur in #52675.

[modulovalue]

The inline class experiment has been replaced with extension types.