Diagnostic and cause
링크Explicit type arguments are not allowed here
- 계열
- topaz
- 단계
- check
- 코드
TPZ5512
원인과 조건
A call with no permitted type parameters rejects a nonempty explicit type-argument list with TPZ5512.
관련 규칙 · Explicit type arguments are not allowed here →대응
Remove the type-argument list. Check the declaration before using explicit specialization syntax.
Compiler phase: check.
Compiler explanation: The callee is not a generic function/static member that accepts explicit type arguments.
Message templates. The marker ⟨value⟩ stands for text computed for the reported program.
- this call is not generic, but ⟨value⟩ type argument⟨value⟩ ⟨value⟩ supplied Source
Observed for the candidate in Topaz 5.21.3. Execution
- error[TPZ5512]: this call is not generic, but 1 type argument was supplied
A call with no permitted type parameters rejects a nonempty explicit type-argument list with TPZ5512.
Explicit type arguments are not allowed here
A call with no permitted type parameters rejects a nonempty explicit type-argument list with TPZ5512.
Response
링크Remove the type-argument list. Check the declaration before using explicit specialization syntax.
Reproduction and verification
링크Rejected program
링크function identity(value: int) -> int { value }let result = identity<int>(1)
표준 출력 없음.기대 결과
Repaired program
링크function identity(value: int) -> int { value }let result = identity(1)
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.