blob: 34eb75f813365bcbc9d2ddd7da1b534c74b17254 (
plain)
1
2
3
4
5
|
[[92mInfo[39m ] Imported: tests/llbc/loops_borrow_check_fail.llbc
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/loops-borrow-check-fail.rs', lines 7:4-12:1
[[91mError[39m] Can not apply a projection to the ⊥ value
Source: 'tests/src/loops-borrow-check-fail.rs', lines 17:4-21:1
|
