From 04337988d9623b9ed69b71b666904d5ad38e6590 Mon Sep 17 00:00:00 2001
From: Martin <laz.git@mfriebe.de>
Date: Mon, 6 Mar 2023 16:53:27 +0100
Subject: [PATCH] Codetools, tests: Add test for issue #32252

---
 .../codetools/tests/laztests/bug32252.pas     | 32 +++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 components/codetools/tests/laztests/bug32252.pas

diff --git a/components/codetools/tests/laztests/bug32252.pas b/components/codetools/tests/laztests/bug32252.pas
new file mode 100644
index 0000000000..711e32e0cd
--- /dev/null
+++ b/components/codetools/tests/laztests/bug32252.pas
@@ -0,0 +1,32 @@
+program bug32252;
+{$MODE DELPHI}
+{$MACRO ON}
+{$DEFINE CUSTOM_DICTIONARY_CONSTRAINTS := TKey, TValue, THashFactory}
+{$DEFINE OPEN_ADDRESSING_CONSTRAINTS := TKey, TValue, THashFactory, TProbeSequence}
+type
+  // The following types are copied and simplified from Generics.Collections.
+  // They are enough to generate the cycle error.
+  TDummy = class
+  end;
+  TCustomDictionary<CUSTOM_DICTIONARY_CONSTRAINTS> = class abstract
+    procedure Foo; virtual; abstract;
+  end;
+  TOpenAddressing<OPEN_ADDRESSING_CONSTRAINTS> = class abstract(TCustomDictionary<CUSTOM_DICTIONARY_CONSTRAINTS>)
+  end;
+  TOpenAddressingLP<OPEN_ADDRESSING_CONSTRAINTS> = class(TOpenAddressing<OPEN_ADDRESSING_CONSTRAINTS>)
+    procedure Bar; virtual; abstract;
+  end;
+  TOpenAddressingLP<TKey, TValue, THashFactory> = class(TOpenAddressingLP<TKey, TValue, THashFactory, TDummy>);
+  TOpenAddressingLP<TKey, TValue>  = class(TOpenAddressingLP<TKey, TValue, TDummy, TDummy>);
+  TDictionary<TKey, TValue> = class(TOpenAddressingLP<TKey, TValue>);
+
+  // This would be a user defined type when using Generics.Collections.
+  // In mode Delphi there is no "specialize" keyword but it makes no difference for the error.
+  TestType = TDictionary<string,string>;
+var
+  TestVar: TestType;
+begin
+  TestVar:=TestType.a{completion:Create;Bar;Foo;TKey;TValue;THashFactory}
+end.
+
+