language_2/extension_methods/static_extension_syntax_test.dart

[bwilkerson]

The test language_2/extension_methods/static_extension_syntax_test.dart defines a class (line 163):

class Rec<T extends Rec<T>> {}

and declares a local variable:

Rec<Object> superRec = RecSolution();

I believe that the type argument Object is not valid here because Object is not a Rec<T>.

@lrhn @leafpetersen

[leafpetersen]

I think this is an analyzer bug: #34777 .

[bwilkerson]

Then I'll close this issue. Thanks!

[leafpetersen]

Actually, I think that test is bogus. That should be a static error.

[leafpetersen]

Rec<Object> is a valid super bounded type, but superRec.e19 can't possibly infer a valid non-super bounded type. Same for superRec.e20.

[leafpetersen]

https://dart-review.googlesource.com/c/sdk/+/112149

[bwilkerson]

@leafpetersen

Analyzer is now reporting two errors that I believe to be errors in the test:

error: The argument type 'List<RecSolution>' can't be assigned to the parameter type 'RecSolution'. (argument_type_not_assignable at [test_package] lib/shared_tests/static_extension_syntax_test.dart:75)
error: The argument type 'List<RecSolution>' can't be assigned to the parameter type 'RecSolution'. (argument_type_not_assignable at [test_package] lib/shared_tests/static_extension_syntax_test.dart:80)

There is also one error being reported that might be an error in analyzer:

error: The argument type 'T' can't be assigned to the parameter type 'Object'. (argument_type_not_assignable at [test_package] lib/shared_tests/static_extension_syntax_test.dart:12)

It looks like analyzer might be resolving to bounds too soon, but I'd appreciate it if you could look at it and confirm that there should not be an error there.

[leafpetersen]

It looks like analyzer might be resolving to bounds too soon, but I'd appreciate it if you could look at it and confirm that there should not be an error there.

Definitely not a correct error, and I don't see this with a bleeding edge build so maybe a local regression?

[leafpetersen]

https://dart-review.googlesource.com/c/sdk/+/112751