This commit is contained in:
Ayaz Hafiz 2023-03-25 14:03:08 -05:00
parent 628fd6a49f
commit 570876129b
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58

View File

@ -7120,7 +7120,9 @@ impl GuardStmtSpec {
let join_point_id = JoinPointId(env.unique_symbol());
let symbol = env.unique_symbol();
let jump = env.arena.alloc(Stmt::Jump(join_point_id, env.arena.alloc([symbol])));
let jump = env
.arena
.alloc(Stmt::Jump(join_point_id, env.arena.alloc([symbol])));
let stmt = with_hole(
env,