Fix #1823 by marking type literals as being raw. That results in a typecast which works, but in some contexts results in multiple typecasts and even upcasts.
Issue #1823: Add the test.
Issue #1823: Add the changed .src. Note the ugly multiple type casts.