diff --git a/TestSuite/errors/err0506.pas b/TestSuite/errors/err0506.pas new file mode 100644 index 000000000..e5b2b00ea --- /dev/null +++ b/TestSuite/errors/err0506.pas @@ -0,0 +1,8 @@ +//!Обобщённая функция p1 не может быть вызвана с данным набором фактических параметров +procedure p1(d: T1->()) := exit; + +function f(b: byte) := 0; + +begin + p1(f); +end. \ No newline at end of file diff --git a/TreeConverter/TreeRealization/generics.cs b/TreeConverter/TreeRealization/generics.cs index a2135c2ed..997b646c1 100644 --- a/TreeConverter/TreeRealization/generics.cs +++ b/TreeConverter/TreeRealization/generics.cs @@ -1069,6 +1069,8 @@ namespace PascalABCCompiler.TreeRealization { if (fact_type == null)//issue #347 return false; + if (formal_type == null) + return false; if (formal_type.generic_function_container == null && fact_type.generic_function_container != null) { //swap