() test()
{
    int i = 255;

    typeassert nonexistent is byte; // ERROR

    typeassert i is int8; // ERROR wrong type
    byte b = i;
    
    typeassert i is i; // ERROR not a type
    
    nonexistenttype brokenvar; // ERROR
    typeassert brokenvar ;  // ERROR missing "is" or "in" part
    uint32 usebroken = brokenvar;

    int notptr;
    typeassert notptr is int^; // ERROR completely different types

    /* ERRORS syntax errors */
    typeassert;
    typeassert x1;
    typeassert x2 is;
    typeassert x3 int;
    typeassert x4 else;
    typeassert x5 {};
    typeassert x6 is else;
    typeassert x7 is {};
    typeassert x8 is do;
    typeassert x9 is int else;
    typeassert x10 is int else else;
    typeassert x11 is int do else;
    typeassert x12 is int do {} else;
    typeassert x13 is int "";
    typeassert x14 is int do return else;
    typeassert x15 int do {} else {};
    typeassert x16 is do {} else {};
    typeassert x17 is else return; do return;
    typeassert x18 int is do {} else {};
    typeassert x19 is int else {} do {};
}