Passes the type checker, but crashes the compiler.