Addition bug fixes for new task model

pkg/analyzer/lib/src/task/dart.dart

Index: pkg/analyzer/lib/src/task/dart.dart
diff --git a/pkg/analyzer/lib/src/task/dart.dart b/pkg/analyzer/lib/src/task/dart.dart
index 3ade0ddff4eb2de4b076e01715509c7ff42185ed..b5561ecc22ee5c564d4c574e72720f5954839081 100644
--- a/pkg/analyzer/lib/src/task/dart.dart
+++ b/pkg/analyzer/lib/src/task/dart.dart
@@ -2716,7 +2716,9 @@ class InferStaticVariableTypeTask extends InferStaticVariableTask {
       (variable.initializer as ExecutableElementImpl).returnType = newType;
       if (variable is PropertyInducingElementImpl) {
         setReturnType(variable.getter, newType);
-        setParameterType(variable.setter, newType);
+        if (!variable.isFinal && !variable.isConst) {
+          setParameterType(variable.setter, newType);
+        }
       }
     } else {
       // TODO(brianwilkerson) For now we simply don't infer any type for