From 5f379b9b468262989a695f15eab277915623fe1c Mon Sep 17 00:00:00 2001
From: Ivan Bondarev <ibond84@googlemail.com>
Date: Thu, 28 Dec 2023 12:05:48 +0100
Subject: [PATCH] test for #2551

---
 TestSuite/generics73.pas | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 TestSuite/generics73.pas

diff --git a/TestSuite/generics73.pas b/TestSuite/generics73.pas
new file mode 100644
index 000000000..50b41fe29
--- /dev/null
+++ b/TestSuite/generics73.pas
@@ -0,0 +1,28 @@
+type
+  GenericBase<T> = class end;
+  
+  GenericObject<T> = class end;
+  
+  PartialContainer<T> = partial class end;
+  
+  GPUCommandContainer<T> = class(GenericBase<T>) end;
+  
+// Можно сделать пред-описанием метода, чтоб обойтись без forward
+procedure p1<T>(o: PartialContainer<T>); where T: record; forward;
+
+type
+  // Обязательно описать предка после описания p1
+  PartialContainer<T> = partial class(GPUCommandContainer<GenericObject<T>>) end;
+  
+procedure p0<T>(o: GenericBase<GenericObject<T>>); where T: record;
+begin end;
+
+procedure p1<T>(o: PartialContainer<T>); where T: record;
+begin
+  //Ошибка: Невозможно инстанцировать, так как тип T не является размерным
+  p0(o);
+end;
+
+begin 
+   p1(new PartialContainer<integer>());
+end.
\ No newline at end of file