From afe15cc3208b16b95109f056656c1c3d312841cc Mon Sep 17 00:00:00 2001 From: Son Ho Date: Wed, 5 Jun 2024 17:04:05 +0200 Subject: Add some negative tests for the borrow checker --- tests/src/borrow-check-negative.borrow-check.out | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 tests/src/borrow-check-negative.borrow-check.out (limited to 'tests/src/borrow-check-negative.borrow-check.out') 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 @@ +[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 -- cgit v1.2.3