Generic type inference for doesn't work when extending nullable type

[HosseinYousefi]

This works fine:

class Foo {}

class Bar<T extends Foo?> {
  final T foo;
  Bar(this.foo);

  static Bar<T> bar<T extends Foo>(T foo) {
    return Bar(foo); // <-- No need to write Bar<T>(foo)
  }
}

but if T extends Foo? instead, it doesn't:

class Foo {}

class Bar<T extends Foo?> {
  final T foo;
  Bar(this.foo);

  static Bar<T> bar<T extends Foo?>(T foo) {
    return Bar(foo);
    //         ^^^
    // The argument type 'T' can't be assigned to the parameter type 'Never'.
  }
}

Is this expected behavior?

[dart-github-bot]

Summary: The issue reports that generic type inference fails when a type parameter T extends a nullable type (Foo?) in a static method. The code compiles when T extends a non-nullable type (Foo), but throws an error when T extends a nullable type.

[eernstg]

Related to https://github.com/dart-lang/sdk/issues/56998?