add note on stricter param typing (#3088)
diff --git a/lib/src/rules/prefer_initializing_formals.dart b/lib/src/rules/prefer_initializing_formals.dart
index ad82c48..f3d105d 100644
--- a/lib/src/rules/prefer_initializing_formals.dart
+++ b/lib/src/rules/prefer_initializing_formals.dart
@@ -71,6 +71,19 @@
}
```
+**NOTE**
+Also note that it is possible to enforce a type that is stricter than the
+initialized field with an initializing formal parameter. In the following
+example the unnamed `Bid` constructor requires a non-null `int` despite
+`amount` being declared nullable (`int?`).
+
+```dart
+class Bid {
+ final int? amount;
+ Bid(int this.amount);
+ Bid.pass() : amount = null;
+}
+```
''';
Iterable<AssignmentExpression> _getAssignmentExpressionsInConstructorBody(
