Diagnostic and cause
링크Form is disallowed by the selected profile
- 계열
- topaz
- 단계
- profile
- 코드
TPZ5801
원인과 조건
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
대응
Use test- when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.
Compiler phase: profile.
Compiler explanation: The program is valid canonical Topaz, but the selected usage profile narrows this form out of its admitted surface.
Message templates are Pending. The explanation above is not an observed CLI message.
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
Canonical assertion depends on the selected profile
The agent- profile rejects the canonical std. import with TPZ5801. The test- profile admits that import and call in language mode 5.21.
Response
링크Use test- when the task requires its canonical assertion operation, or remove the test-framework use from an agent-pack program.
Reproduction and verification
링크Rejected program
링크import std.test { assert }assert(true)
표준 출력 없음.기대 결과
The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.
Repaired program
링크import std.test { assert }assert(true)
기대 결과
기대 결과
검사가 프로그램을 받아들입니다. 종료 코드 0.
The required finding points at the std.test import; the call may add another profile finding. Both programs explicitly import assert. Their fixture and invocation identities differ from the old bare-assert candidate, so its receipt is not reused. Successful check stdout is not asserted.