emit case test/thens casts unchecked