Function resolve_type_args 

pub fn resolve_type_args(
    type_args: &[TypeExpr],
    ctx: Ctx,
    state: &mut State<'_>,
) -> Vec<DataType>

Resolves each type argument of a call, struct literal or variant path in the scope it was written in.