diff options
| author | Son Ho | 2024-06-05 17:04:05 +0200 |
|---|---|---|
| committer | Son Ho | 2024-06-05 17:04:05 +0200 |
| commit | afe15cc3208b16b95109f056656c1c3d312841cc (patch) | |
| tree | ae0dc5101d49e812366b3fb9ddb681f03dba486f /tests/src/borrow-check-negative.borrow-check.out | |
| parent | 7cb0914c68a055a308539ccc781fea8f30ef27bb (diff) | |
Add some negative tests for the borrow checker
Diffstat (limited to '')
| -rw-r--r-- | tests/src/borrow-check-negative.borrow-check.out | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/tests/src/borrow-check-negative.borrow-check.out b/tests/src/borrow-check-negative.borrow-check.out new file mode 100644 index 00000000..dc9dd5a7 --- /dev/null +++ b/tests/src/borrow-check-negative.borrow-check.out @@ -0,0 +1,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 |