Function resolve_call_type_args 

pub fn resolve_call_type_args(
    fn_id: usize,
    name: &str,
    type_args: &[TypeExpr],
    span: Span,
    ctx: Ctx,
    state: &mut State<'_>,
) -> Vec<DataType>

Checks the type arguments a call is written with against the parameters the function it resolves to declares, and resolves them to types.

name is the spelling to report against, which for a method is the method name rather than the mangled symbol the call reaches.