aboutsummaryrefslogtreecommitdiff
path: root/tests/iii/nominal-type-mismatch/notes.md
blob: 858a1c7fa6b67834d7c5b4c5de56b630c200c63d (plain)
1
2
3
4
5

# nominal-type-mismatch

Project nominal user-type contract: distinct pointer declarations remain incompatible.

Require exit 1, the stated cause and source line on the same diagnostic, exactly one compilation termination line, and preservation of absent/existing outputs for both native and IR requests. Missing block delimiters are located at EOF (the line after the final newline).