LanguageFeatures/Patterns/type_inference_A31_t03

[alexmarkov]

This test expects that pattern Square(:final num areaAsNullable) doesn't match for Square(2):

co19/LanguageFeatures/Patterns/type_inference_A31_t03.dart

Lines 39 to 40 in 7b4f3e7

	case Square(:final num areaAsNullable):
	return "match-2";

co19/LanguageFeatures/Patterns/type_inference_A31_t03.dart

Line 64 in 7b4f3e7

Expect.equals("no match", test1(Square(2)));

However, areaAsNullable from Square actually returns double , so it should match:

co19/LanguageFeatures/Patterns/patterns_lib.dart

Line 124 in 7b4f3e7

num? get areaAsNullable => areaAsDouble;

co19/LanguageFeatures/Patterns/patterns_lib.dart

Line 154 in 7b4f3e7

double get areaAsDouble => length * length;