This program compiles, but is it a bug? I would think the specialization should 
fail because "S" in TArray is not specified.

========================

{$mode objfpc}

type
  generic TArray<T, S> = array of T;
  
generic procedure DoThis<T>(param: specialize TArray<specialize TArray<T>>);
begin
end;

begin
  specialize DoThis<integer>([[1],[2],[3]]);
end.

Regards,
        Ryan Joseph

_______________________________________________
fpc-pascal maillist  -  fpc-pascal@lists.freepascal.org
https://lists.freepascal.org/cgi-bin/mailman/listinfo/fpc-pascal

Reply via email to