[Info ] Imported: tests/llbc/borrow_check_negative.llbc
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 17:4-24:1
[Error] Can't end abstraction 8 as it is set as non-endable
Source: 'tests/src/borrow-check-negative.rs', lines 26:0-26:76
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 37:4-41:1
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 47:4-50:1
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 60:4-64:1
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 71:4-79:1
[Error] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 87:4-90:1