[Records] Update type inference tests

[sgrekhov]

• Fix upper_and_lower_bounds_A01_t01.dart and `upper_and_lower_bounds_A03_t01.dart. These tests contain code, which is an error now

(int, {List<int> x}) b2 = (42, x: []);

• Add tests which expects an error for the code above (probably it should be Subtyping test)
• Be ready to update the tests according to the Can we promote through record fields? language#2503 and [Records] Should pointwise implicit downcasts be allowed in records? language#2488.

[eernstg]

Note that both dart-lang/language#2503 and dart-lang/language#2488 contain active discussions. So it isn't possible, yet, to conclude that any particular approach to these topics is the one that will prevail.

[sgrekhov]

Specification was updated. See https://github.com/dart-lang/language/blob/master/accepted/future-releases/records/records-feature-specification.md#type-inference (and dart-lang/language#2489)