Update comments about context types and inference

A follow-up from Konstantin's comments here:
https://dart-review.googlesource.com/c/sdk/+/392501

Change-Id: I19853831d304c2ea3267969e99249ff356aad3ad
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/392600
Commit-Queue: Samuel Rawlins <[email protected]>
Reviewed-by: Konstantin Shcheglov <[email protected]>

Author: srawlins

pkg/analyzer/lib/src/dart/ast/ast.dart

@@ -15675,15 +15675,6 @@ final class SetOrMapLiteralImpl extends TypedLiteralImpl
   _SetOrMapKind _resolvedKind = _SetOrMapKind.unresolved;
 
   /// The context type computed by [TypedLiteralResolver].
-  ///
-  /// Note that this isn't the same as the context pushed down by type
-  /// inference (which can be obtained via `InferenceContext.getContext`). For
-  /// example, in the following code:
-  ///
-  ///     var m = {};
-  ///
-  /// The context pushed down by type inference is null, whereas the
-  /// `contextType` is `Map<dynamic, dynamic>`.
   InterfaceType? contextType;
 
   /// Initializes a newly created set or map literal.

pkg/analyzer/lib/src/dart/element/generic_inferrer.dart

@@ -47,9 +47,9 @@ import 'package:collection/collection.dart';
 /// (due to covariant generic types) as would `() -> A <: () -> num`. In
 /// contrast `(A) -> void <: (num) -> void`.
 ///
-/// Once the lower/upper bounds are determined, `infer` should be called to
-/// finish the inference. It will instantiate a generic function type with the
-/// inferred types for each type parameter.
+/// Once the lower/upper bounds are determined, `chooseFinalTypes` should be
+/// called to finish the inference. It will instantiate a generic function type
+/// with the inferred types for each type parameter.
 ///
 /// It can also optionally compute a partial solution, in case some of the type
 /// parameters could not be inferred (because the constraints cannot be