From f63ca954ffc55f9487493990a5f96daaede59565 Mon Sep 17 00:00:00 2001
From: karl-police <karl-police2001@bluewin.ch>
Date: Wed, 11 Sep 2024 03:14:57 +0200
Subject: [PATCH] id = follow(id)

---
 Analysis/src/Autocomplete.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Analysis/src/Autocomplete.cpp b/Analysis/src/Autocomplete.cpp
index ee865edd..c755a6be 100644
--- a/Analysis/src/Autocomplete.cpp
+++ b/Analysis/src/Autocomplete.cpp
@@ -199,6 +199,8 @@ static TypeCorrectKind checkTypeCorrectKind(
     {
         for (TypeId id : itv->parts)
         {
+            id = follow(id);
+
             if (const FunctionType* ftv = get<FunctionType>(id); ftv && checkFunctionType(ftv))
             {
                 return TypeCorrectKind::CorrectFunctionResult;