update reporting; suggestions now have Box in scope

This commit is contained in:
Folkert 2022-03-09 16:03:18 +01:00
parent 59378d35c6
commit 768703c5df
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
2 changed files with 19 additions and 24 deletions

View file

@ -1380,11 +1380,6 @@ fn build_box_eq_help<'a, 'ctx, 'env>(
env.builder
.build_return(Some(&env.context.bool_type().const_all_ones()));
let return_false = ctx.append_basic_block(parent, "return_false");
env.builder.position_at_end(return_false);
env.builder
.build_return(Some(&env.context.bool_type().const_zero()));
let entry = ctx.append_basic_block(parent, "entry");
env.builder.position_at_end(entry);