Diagnostic and cause
СсылкаType alias cycle
- Семейство
- topaz
- Этап
- check
- Код
TPZ5023
Причина и условия
Transparent type aliases must normalize without a cycle.
Связанное правило · Type alias cycle →Действия
Remove the cycle or introduce a nominal record, enum, or newtype boundary that expresses the intended data structure.
Compiler phase: check.
Compiler explanation: A type alias expands back to itself through one or more aliases.
Message templates are Pending. The explanation above is not an observed CLI message.
Transparent type aliases must normalize without a cycle.
Type alias cycle
Transparent type aliases must normalize without a cycle.
Response
СсылкаRemove the cycle or introduce a nominal record, enum, or newtype boundary that expresses the intended data structure.
Reproduction and verification
СсылкаRejected program
Ссылкаtype First = Secondtype Second = Firstlet value: First = 1
Нет стандартного вывода.Ожидаемый результат
Ожидаемый результат
Этап отклонения check. Ненулевой код завершения.
diagnostics-type-alias-cycle
Контракт обязательного основного местоположения не определён.
The intended rejection is recorded as an implementation limitation. A current SELF producer does not establish the diagnostic source location, so that location remains Pending.
Repaired program
Ссылкаtype First = inttype Second = Firstlet value: First = 1
Ожидаемый результат
Ожидаемый результат
Проверка принимает программу. Код завершения 0.
The intended rejection is recorded as an implementation limitation. A current SELF producer does not establish the diagnostic source location, so that location remains Pending.