analyzer: Test that missing_override_of_must_be_overridden works with DeCo

Work towards #62254

Change-Id: Ic1284f70ba535099de673f7f25ddb34b4e09e6bb
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/475268
Commit-Queue: Samuel Rawlins <srawlins@google.com>
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>

Author: srawlins

pkg/analyzer/test/src/diagnostics/missing_override_of_must_be_overridden_test.dart

@@ -37,6 +37,19 @@ class B extends A {}
     );
   }
 
+  test_field_declaredInPrimaryConstructor() async {
+    await assertErrorsInCode(
+      '''
+import 'package:meta/meta.dart';
+
+class A(@mustBeOverridden var int f);
+
+class B(super.f) extends A {}
+''',
+      [error(diag.missingOverrideOfMustBeOverriddenOne, 79, 1)],
+    );
+  }
+
   test_field_method() async {
     await assertErrorsInCode(
       '''
@@ -78,6 +91,19 @@ class B extends A {
 ''');
   }
 
+  test_field_overriddenWithField_inPrimaryConstructor() async {
+    await assertNoErrorsInCode('''
+import 'package:meta/meta.dart';
+
+class A {
+  @mustBeOverridden
+  int f = 0;
+}
+
+class B(var int f) extends A;
+''');
+  }
+
   test_field_overriddenWithGetterSetterPair() async {
     await assertNoErrorsInCode('''
 import 'package:meta/meta.dart';
@@ -159,6 +185,19 @@ class B extends A {
 ''');
   }
 
+  test_getter_overriddenWithField_inPrimaryConstructor() async {
+    await assertNoErrorsInCode('''
+import 'package:meta/meta.dart';
+
+class A {
+  @mustBeOverridden
+  int get f => 0;
+}
+
+class B(var int f) extends A;
+''');
+  }
+
   test_getter_overriddenWithGetter() async {
     await assertNoErrorsInCode('''
 import 'package:meta/meta.dart';