[Dart 3] Can't infer types in some cases

The compiler and analyzer are unable to infer types in some pretty clear cases. For example:

```
class A { }

class C extends A {}

class B, S> {
B(A x);
}

void main() {
B(C());
}
```

This code results in the following error:
```
lib/main.dart:10:3:
Error: Inferred type argument 'A' doesn't conform to the bound 'A' of the type variable 'T' on 'B'.
- 'A' is from 'package:dartpad_sample/main.dart' ('lib/main.dart').
- 'Object' is from 'dart:core'.
B(C());
^
lib/main.dart:5:9:
Info: This is the type variable whose bound isn't conformed to.
class B, S> {
^
Error: Compilation failed.
```

Analyzer error:
```
Couldn't infer type parameter 'T'.

Tried to infer 'A' for 'T' which doesn't work:
Type parameter 'T' is declared to extend 'A' producing 'A'.

Consider passing explicit type argument(s) to the generic.
```

**Version:** `Dart SDK version: 3.0.0 (stable) (Thu May 4 01:11:00 2023 -0700) on "windows_x64"`

Start by reproducing the example in lib/main.dart with Dart SDK 3.0.0, then compare the compiler and analyzer results for the generic type inference case. Done means the shown B(C()) call no longer produces the bound-conformance or inference errors in either tool.

Written by the indexing model from the issue text.