(base: &str, args: &[Type])
| 1907 | arguments, |
| 1908 | } => { |
| 1909 | for argument in arguments { |
| 1910 | rewrite_expression_calls(argument, substitutions, definitions, queue, queued)?; |
| 1911 | } |
| 1912 | let concrete_args = type_arguments |
| 1913 | .iter() |
| 1914 | .map(|ty| substitute_type(ty, substitutions)) |
| 1915 | .collect::<Vec<_>>(); |