blob: dc9dd5a77adfd9fcfb0fde4fc7b2c154db785662 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
[[92mInfo[39m ] Imported: tests/llbc/borrow_check_negative.llbc
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 17:4-24:1
[[91mError[39m] Can't end abstraction 8 as it is set as non-endable
Source: 'tests/src/borrow-check-negative.rs', lines 26:0-26:76
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 37:4-41:1
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 47:4-50:1
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 60:4-64:1
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 71:4-79:1
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/borrow-check-negative.rs', lines 87:4-90:1
|
