From 416172164d23a4eafe940ab960a2724273cec33c Mon Sep 17 00:00:00 2001 From: Ivan Bondarev Date: Sun, 3 Apr 2022 13:41:13 +0200 Subject: [PATCH] #2644 --- TestSuite/errors/err0506.pas | 8 ++++++++ TreeConverter/TreeRealization/generics.cs | 2 ++ 2 files changed, 10 insertions(+) create mode 100644 TestSuite/errors/err0506.pas 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