[Info ] Imported: tests/llbc/loops_borrow_check_fail.llbc
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/loops-borrow-check-fail.rs', lines 7:4-12:1
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/loops-borrow-check-fail.rs', lines 17:4-21:1