Implement type inference for PropertyGet.

pkg/front_end/lib/src/base/instrumentation.dart

Index: pkg/front_end/lib/src/base/instrumentation.dart
diff --git a/pkg/front_end/lib/src/base/instrumentation.dart b/pkg/front_end/lib/src/base/instrumentation.dart
index 50e99c40b29e1ce00b5cd7f7f223d669c696f0aa..f47c5055464595684d67859af3b68329d92940d8 100644
--- a/pkg/front_end/lib/src/base/instrumentation.dart
+++ b/pkg/front_end/lib/src/base/instrumentation.dart
@@ -26,14 +26,14 @@ abstract class InstrumentationValue {
   bool matches(String description) => description == toString();
 }
 
-/// Instance of [InstrumentationValue] describing a [Procedure].
-class InstrumentationValueForProcedure extends InstrumentationValue {
-  final Procedure procedure;
+/// Instance of [InstrumentationValue] describing a [Member].
+class InstrumentationValueForMember extends InstrumentationValue {
+  final Member member;
 
-  InstrumentationValueForProcedure(this.procedure);
+  InstrumentationValueForMember(this.member);
 
   @override
-  String toString() => procedure
+  String toString() => member
       .toString()
       .replaceAll('dart.core::', '')
       .replaceAll('dart.async::', '')