The following should be transformed from: ```js export function assertNever(msg = "never reached") { return void assert(false, msg); } ``` to: ```js export function assertNever(msg = "never reached") { return void undefined; } ``` But the presence of with `void` or `return` stops this.