Downward inference

lib/src/testing.dart

Index: lib/src/testing.dart
diff --git a/lib/src/testing.dart b/lib/src/testing.dart
index a1a417ffa29fa47ee0ba0b4c5a03a66e8a49990f..f757930e5ccc6dd937206f1aa3813fa7fba5de44 100644
--- a/lib/src/testing.dart
+++ b/lib/src/testing.dart
@@ -52,6 +52,7 @@ import 'dependency_graph.dart' show runtimeFilesForServerMode;
 CheckerResults testChecker(Map<String, String> testFiles,
     {bool allowConstCasts: true, String sdkDir, CheckerReporter reporter,
     covariantGenerics: true, relaxedCasts: true,
+    inferDownwards: RulesOptions.inferDownwardsDefault,
     inferFromOverrides: ResolverOptions.inferFromOverridesDefault,
     inferTransitively: ResolverOptions.inferTransitivelyDefault,
     nonnullableTypes: TypeOptions.NONNULLABLE_TYPES}) {
@@ -64,6 +65,7 @@ CheckerResults testChecker(Map<String, String> testFiles,
       allowConstCasts: allowConstCasts,
       covariantGenerics: covariantGenerics,
       relaxedCasts: relaxedCasts,
+      inferDownwards: inferDownwards,
       inferFromOverrides: inferFromOverrides,
       inferTransitively: inferTransitively,
       nonnullableTypes: nonnullableTypes,