fa39d72861
Use the element type on the variable declaration to set the downwards inference context, so that we get downwards inference from inferred types. Also eliminated some TODOs about places where we were not recording inferences. Fixes https://github.com/dart-lang/sdk/issues/25546 . BUG= R=brianwilkerson@google.com Review URL: https://codereview.chromium.org/1906413004 .