More functionality in kernel_impact.

pkg/compiler/lib/src/ssa/kernel_ast_adapter.dart

 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'package:kernel/ast.dart' as ir;
 
 import '../common.dart';
 import '../common/names.dart';
 import '../compiler.dart';
 import '../constants/values.dart';
 import '../dart_types.dart';
 import '../elements/elements.dart';
 import '../js_backend/js_backend.dart';
 import '../kernel/kernel.dart';
+import '../kernel/kernel_debug.dart';
 import '../resolution/tree_elements.dart';
 import '../tree/tree.dart' as ast;
 import '../types/masks.dart';
 import '../types/types.dart';
 import '../universe/call_structure.dart';
 import '../universe/selector.dart';
 import '../universe/side_effects.dart';
 import '../world.dart';
 import 'locals_handler.dart';
 import 'types.dart';
@@ skipping 29 matching lines @@
     for (LocalFunctionElement localFunction in kernel.localFunctions.keys) {
       _nodeToElement[kernel.localFunctions[localFunction]] = localFunction;
     }
     _typeConverter = new DartTypeConverter(this);
   }
 
   Compiler get _compiler => _backend.compiler;
   TreeElements get elements => _resolvedAst.elements;
   GlobalTypeInferenceResults get _inferenceResults =>
       _compiler.globalInference.results;
+  DiagnosticReporter get reporter => _compiler.reporter;
 
   ConstantValue getConstantForSymbol(ir.SymbolLiteral node) {
     ast.Node astNode = getNode(node);
     ConstantValue constantValue = _backend.constants
         .getConstantValueForNode(astNode, _resolvedAst.elements);
     assert(invariant(astNode, constantValue != null,
         message: 'No constant computed for $node'));
     return constantValue;
   }
 
   Element getElement(ir.Node node) {
     Element result = _nodeToElement[node];
-    assert(result != null);
+    assert(invariant(CURRENT_ELEMENT_SPANNABLE, result != null,
+        message: "No element found for $node."));
     return result;
   }
 
   ast.Node getNode(ir.Node node) {
     ast.Node result = _nodeToAst[node];
     assert(result != null);
     return result;
   }
 
   Local getLocal(ir.VariableDeclaration variable) {
@@ skipping 201 matching lines @@
 
   DartType visitType(ir.DartType type) => type.accept(this);
 
   List<DartType> visitTypes(List<ir.DartType> types) {
     return new List.generate(
         types.length, (int index) => types[index].accept(this));
   }
 
   @override
   DartType visitTypeParameterType(ir.TypeParameterType node) {
-    return new TypeVariableType(astAdapter.getElement(node.parameter));
+    if (node.parameter.parent is ir.Class) {
+      ir.Class cls = node.parameter.parent;
+      int index = cls.typeParameters.indexOf(node.parameter);
+      ClassElement classElement = astAdapter.getElement(cls);
+      return classElement.typeVariables[index];
+    } else if (node.parameter.parent is ir.FunctionNode) {
+      ir.FunctionNode func = node.parameter.parent;
+      int index = func.typeParameters.indexOf(node.parameter);
+      ConstructorElement constructorElement = astAdapter.getElement(func);
+      ClassElement classElement = constructorElement.enclosingClass;
+      return classElement.typeVariables[index];
+    }
+    throw new UnsupportedError('Unsupported type parameter type node $node.');
   }
 
   @override
   DartType visitFunctionType(ir.FunctionType node) {
     return new FunctionType.synthesized(
         visitType(node.returnType),
         visitTypes(node.positionalParameters
             .take(node.requiredParameterCount)
             .toList()),
         visitTypes(node.positionalParameters
@@ skipping 17 matching lines @@
   @override
   DartType visitDynamicType(ir.DynamicType node) {
     return const DynamicType();
   }
 
   @override
   DartType visitInvalidType(ir.InvalidType node) {
     throw new UnimplementedError("Invalid types not currently supported");
   }
 }