Merge pull request #4605 from michaellilltokiwa/ast--fix-#4418,-suppr…

…ess-extra-errors

ast: fix #4418, suppress extra errors

src/dev/flang/ast/Match.java

@@ -151,7 +151,7 @@ public void resolveTypes(Resolution res, Context context)
       {
         res.resolveTypes(st.feature());
       }
-    if (st.isChoice())
+    if (st.isChoice() && Types.resolved.t_void != st)
       {
         var cgs = st.choiceGenerics(context);
         for (var i = 0; i < cgs.size(); i++)

tests/reg_issue4418/Makefile

@@ -0,0 +1,25 @@
+# This file is part of the Fuzion language implementation.
+#
+# The Fuzion language implementation is free software: you can redistribute it
+# and/or modify it under the terms of the GNU General Public License as published
+# by the Free Software Foundation, version 3 of the License.
+#
+# The Fuzion language implementation is distributed in the hope that it will be
+# useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License along with The
+# Fuzion language implementation.  If not, see <https://www.gnu.org/licenses/>.
+
+
+# -----------------------------------------------------------------------
+#
+#  Tokiwa Software GmbH, Germany
+#
+#  Source code of Fuzion test Makefile
+#
+# -----------------------------------------------------------------------
+
+override NAME = reg_issue4418
+include ../simple.mk

tests/reg_issue4418/reg_issue4418.fz

@@ -0,0 +1,26 @@
+# This file is part of the Fuzion language implementation.
+#
+# The Fuzion language implementation is free software: you can redistribute it
+# and/or modify it under the terms of the GNU General Public License as published
+# by the Free Software Foundation, version 3 of the License.
+#
+# The Fuzion language implementation is distributed in the hope that it will be
+# useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
+# License for more details.
+#
+# You should have received a copy of the GNU General Public License along with The
+# Fuzion language implementation.  If not, see <https://www.gnu.org/licenses/>.
+
+
+# -----------------------------------------------------------------------
+#
+#  Tokiwa Software GmbH, Germany
+#
+#  Source code of Fuzion test reg_issue4418
+#
+# -----------------------------------------------------------------------
+
+test(s) => match s.first
+             nil => true
+             *   => false

tests/reg_issue4418/reg_issue4418.fz.expected_err

@@ -0,0 +1,7 @@
+
+--CURDIR--/reg_issue4418.fz:24:6: error 1: Type inference from actual arguments failed since no actual call was found
+test(s) => match s.first
+-----^
+For the formal argument 'test.s' the type can only be derived if there is a call to 'test'.
+
+one error.