Issue To Be Solved

Type inferring is currently only supported for required arguments.

Also add support for:

• Extra arguments (e.g: authAccount.contracts.add("Name", code, arg1. arg2))

  cadence/runtime/sema/check_invocation_expression.go

  Lines 450 to 451 in 481cb23

  	// TODO: pass the expected type to support type inferring for parameters
  	argumentTypes[i] = checker.VisitExpression(argument.Expression, nil)

• Generic arguments

  cadence/runtime/sema/check_invocation_expression.go

  Lines 540 to 541 in 481cb23

  	// TODO: pass the expected type to support for parameters
  	argumentType = checker.VisitExpression(argument.Expression, nil)