jeff/dust
1
0
Fork 0
Code

Pass test

Browse Source
This commit is contained in:
Jeff 2024-04-02 23:13:03 -04:00
parent 40783422d8
commit fe1e27fd70
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
dust-lang/src/abstract_tree/function_call.rs
View File

@ -56,6 +56,10 @@ impl AbstractNode for FunctionCall {
for (type_parameter, type_argument) in for (type_parameter, type_argument) in
parameter_types.iter().zip(self.type_arguments.iter()) parameter_types.iter().zip(self.type_arguments.iter())
{ {
if let Type::Argument(_) = type_parameter.node {
continue;
}
type_parameter type_parameter
.node .node
.check(&type_argument.node) .check(&type_argument.node)
@ -67,6 +71,10 @@ impl AbstractNode for FunctionCall {
} }
for (type_parameter, expression) in parameter_types.iter().zip(self.arguments.iter()) { for (type_parameter, expression) in parameter_types.iter().zip(self.arguments.iter()) {
if let Type::Argument(_) = type_parameter.node {
continue;
}
let actual = expression.expected_type(context)?; let actual = expression.expected_type(context)?;
type_parameter.node.check(&actual).map_err(|conflict| { type_parameter.node.check(&actual).map_err(|conflict| {