[model] Define common helper isKnownType and use in inference

This CL is another step towards the unification between
TypeSchemaEnvironment.solveTypeConstraint in the CFE and
GenericInferrer._chooseTypeFromConstraint in the Analyzer.

Part of https://github.com/dart-lang/sdk/issues/54902

Change-Id: I2cfafef6a87b9bde8d1c94f6618e7f633debec0f
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/424040
Reviewed-by: Paul Berry <paulberry@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>

https://dart.googlesource.com/sdk/+/a2b2751d7d7a5d49e57e9c4eee7bb32dece7aac0

DEPS

diff --git a/DEPS b/DEPS
index be8383b..eb3ccd3 100644
--- a/DEPS
+++ b/DEPS
@@ -14,7 +14,7 @@
   'flutter_git': 'https://flutter.googlesource.com',
   'skia_git': 'https://skia.googlesource.com',
   'llvm_git': 'https://llvm.googlesource.com',
-  'skia_revision': '876b5016b1352674a8fc0ec3c9191d4b74f6d320',
+  'skia_revision': '8e1521a40bd233906c31fb15818b7a4566f7782d',
 
   # WARNING: DO NOT EDIT canvaskit_cipd_instance MANUALLY
   # See `lib/web_ui/README.md` for how to roll CanvasKit to a new version.
@@ -234,7 +234,7 @@
 ]
 
 deps = {
-  'flutter/engine/src/flutter/third_party/dart': Var('dart_git') + '/sdk' + '@' + 'b23efe44e8e19ee6196162bf9896d2e716fa04ea',
+  'flutter/engine/src/flutter/third_party/dart': Var('dart_git') + '/sdk' + '@' + 'a2b2751d7d7a5d49e57e9c4eee7bb32dece7aac0',
 
   'flutter': Var('flutter_git') + '/mirrors/flutter' + '@' + 'a7bb66b675e167f6dc53e04e3afa9d2764dedaa3',
 

commits.json

diff --git a/commits.json b/commits.json
index 78dd606..a9d0679 100644
--- a/commits.json
+++ b/commits.json
@@ -1,4 +1,4 @@
 {
   "flutter":"a7bb66b675e167f6dc53e04e3afa9d2764dedaa3",
-  "flutter/engine/src/flutter/third_party/dart":"b23efe44e8e19ee6196162bf9896d2e716fa04ea"
+  "flutter/engine/src/flutter/third_party/dart":"a2b2751d7d7a5d49e57e9c4eee7bb32dece7aac0"
 }
\ No newline at end of file