Diagnostic and cause
링크Wrong number of explicit type arguments
- 계열
- topaz
- 단계
- check
- 코드
TPZ5510
원인과 조건
When explicit type arguments are supplied to a generic call, their number must equal the callee's declared type-parameter count. A different nonzero count is rejected with TPZ5510.
관련 규칙 · Wrong number of explicit type arguments →대응
Supply one type argument for every type parameter, or remove the explicit list when inference can determine all of them.
Compiler phase: check.
Compiler explanation: A call supplied a different number of type arguments than the generic declaration has parameters.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- this call expects ⟨value⟩ type argument⟨value⟩, but ⟨value⟩ ⟨value⟩ supplied Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ5510]: this call expects 1 type argument, but 2 were supplied
When explicit type arguments are supplied to a generic call, their number must equal the callee's declared type-parameter count. A different nonzero count is rejected with TPZ5510.
Wrong number of explicit type arguments
When explicit type arguments are supplied to a generic call, their number must equal the callee's declared type-parameter count. A different nonzero count is rejected with TPZ5510.
Response
링크Supply one type argument for every type parameter, or remove the explicit list when inference can determine all of them.
Reproduction and verification
링크Rejected program
링크function identity<T>(value: T) -> T { value }let result = identity<int, string>(1)
표준 출력 없음.기대 결과
Repaired program
링크function identity<T>(value: T) -> T { value }let result = identity<int>(1)
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.