c3c/test/test_suite/distinct/test_errors.c3

module test;

def Int2 = distinct int;

fn void test()
{
    Int2 a = 1;
    a = a + 1;
    int b;
    a = b; // #error: 'Int2'
}