Annotate overridden getters and setters with `@override` (#318)

Also bump to 5.0.0-nullsafety.4

PiperOrigin-RevId: 351789062
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 8e2af95..fc3f15f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+## 5.0.0-nullsafety.4
+
+* Annotate overridden getters and setters with `@override`.
+
 ## 5.0.0-nullsafety.3
 
 * Improve static analysis of generated code.
diff --git a/lib/src/builder.dart b/lib/src/builder.dart
index eeb28c8..5de09bf 100644
--- a/lib/src/builder.dart
+++ b/lib/src/builder.dart
@@ -1105,6 +1105,7 @@
       MethodBuilder builder, PropertyAccessorElement getter) {
     builder
       ..name = getter.displayName
+      ..annotations.addAll([refer('override')])
       ..type = MethodType.getter
       ..returns = _typeReference(getter.returnType);
 
@@ -1132,6 +1133,7 @@
       MethodBuilder builder, PropertyAccessorElement setter) {
     builder
       ..name = setter.displayName
+      ..annotations.addAll([refer('override')])
       ..type = MethodType.setter;
 
     final invocationPositionalArgs = <Expression>[];
diff --git a/pubspec.yaml b/pubspec.yaml
index 3edb762..cf24e01 100644
--- a/pubspec.yaml
+++ b/pubspec.yaml
@@ -1,5 +1,5 @@
 name: mockito
-version: 5.0.0-nullsafety.3
+version: 5.0.0-nullsafety.4
 
 description: A mock framework inspired by Mockito.
 homepage: https://github.com/dart-lang/mockito