paweld/lazarus
1
0
Fork 0
mirror of https://gitlab.com/freepascal.org/lazarus/lazarus.git synced 2025-08-08 04:16:10 +02:00
Code Issues Packages Projects Releases Wiki Activity

Codetools, tests: Add test for issue #32252

Browse Source
This commit is contained in:
Martin 2023-03-06 16:53:27 +01:00
parent 6fda552055
commit 04337988d9
1 changed files with 32 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
components/codetools/tests/laztests/bug32252.pas Normal file
View File

@ -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.