Passing explicit generic arguments to a non generic function
More generics arguments than a function has defined
To fix
Look in calling.rs for call_site_type_arguments which is passed and the function.type_parameter. If the former is passed but that latter is missing raise a FunctionCallingError.
This is already implemented for types with generics btw. And the opposite case is not necessary because that is handled by inference.
kaleidawave
commented
2 weeks ago
Currently there is no diagnostic raised for:
To fix
calling.rsforcall_site_type_argumentswhich is passed and thefunction.type_parameter. If the former is passed but that latter is missing raise aFunctionCallingError.This is already implemented for types with generics btw. And the opposite case is not necessary because that is handled by inference.