diff --git a/pkg/compiler/lib/src/kernel/element_map.dart b/pkg/compiler/lib/src/kernel/element_map.dart
index b5ae8066dd0..90258c7d1e2 100644
--- a/pkg/compiler/lib/src/kernel/element_map.dart
+++ b/pkg/compiler/lib/src/kernel/element_map.dart
@@ -352,6 +352,9 @@ abstract class KernelToTypeInferenceMap {
   /// Returns the inferred receiver type of the dynamic [read].
   TypeMask typeOfGet(ir.PropertyGet read);
 
+  /// Returns the inferred receiver type of the direct [read].
+  TypeMask typeOfDirectGet(ir.DirectPropertyGet read);
+
   /// Returns the inferred receiver type of the dynamic [write].
   TypeMask typeOfSet(ir.PropertySet write, ClosedWorld closedWorld);