Require named (not deduced) type for a temporary unnamed object

hsutter · hsutter · commit f3de4217d14c · 2023-01-08T16:41:03.000-08:00
diff --git a/source/parse.h b/source/parse.h
@@ -1597,7 +1597,11 @@ class parser
         {
             assert (!decl->identifier && "ICE: declaration should have been unnamed");
             if (auto obj = std::get_if<declaration_node::object>(&decl->type)) {
-                //if ((*obj)->typid)
+                if ((*obj)->is_wildcard()) {
+                    error("an unnamed object at expression scope currently cannot have a deduced type (the reason to create an unnamed object is typically to create a temporary of a named type)");
+                    next();
+                    return {};
+                }
             }
             else if (auto func = std::get_if<declaration_node::function>(&decl->type)) {
                 if ((*func)->returns.index() == function_type_node::list) {

Original file line number	Diff line number	Diff line change
`@@ -1597,7 +1597,11 @@ class parser`
`1597`	`1597`	`{`
`1598`	`1598`	`assert (!decl->identifier && "ICE: declaration should have been unnamed");`
`1599`	`1599`	`if (auto obj = std::get_if<declaration_node::object>(&decl->type)) {`
`1600`		`- //if ((*obj)->typid)`
	`1600`	`+ if ((*obj)->is_wildcard()) {`
	`1601`	`+ error("an unnamed object at expression scope currently cannot have a deduced type (the reason to create an unnamed object is typically to create a temporary of a named type)");`
	`1602`	`+ next();`
	`1603`	`+ return {};`
	`1604`	`+ }`
`1601`	`1605`	`}`
`1602`	`1606`	`else if (auto func = std::get_if<declaration_node::function>(&decl->type)) {`
`1603`	`1607`	`if ((*func)->returns.index() == function_type_node::list) {`