From fd36304da262caa85a2cb1b32acb289438907643 Mon Sep 17 00:00:00 2001
From: Anders Schack-Mulligen <aschackmull@github.com>
Date: Thu, 20 Apr 2023 14:33:00 +0200
Subject: [PATCH] Dataflow: Add type to PathNode.toString

---
 .../lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll   | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
index 7fe616e1b60..5d0dad5cf32 100644
--- a/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
+++ b/java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
@@ -3077,9 +3077,7 @@ module Impl<FullStateConfigSig Config> {
     private string ppType() {
       this instanceof PathNodeSink and result = ""
       or
-      this.(PathNodeMid).getAp() instanceof AccessPathNil and result = ""
-      or
-      exists(DataFlowType t | t = this.(PathNodeMid).getAp().getHead().getContainerType() |
+      exists(DataFlowType t | t = this.(PathNodeMid).getType() |
         // The `concat` becomes "" if `ppReprType` has no result.
         result = concat(" : " + ppReprType(t))
       )