├── .gitignore ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── graph-algorithms ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT └── src │ ├── bit_set │ └── mod.rs │ ├── dominators │ ├── mod.rs │ └── test.rs │ ├── iterate │ ├── mod.rs │ └── test.rs │ ├── lib.rs │ ├── loop_tree │ ├── mod.rs │ ├── test.rs │ ├── tree.rs │ └── walk.rs │ ├── node_vec.rs │ ├── reachable │ ├── mod.rs │ └── test.rs │ ├── reference.rs │ ├── test.rs │ └── transpose.rs ├── nll-repr ├── .gitignore ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── build.rs └── src │ ├── lib.rs │ └── repr │ ├── .gitignore │ ├── mod.rs │ └── parser.lalrpop ├── nll ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT └── src │ ├── borrowck.rs │ ├── env.rs │ ├── errors.rs │ ├── graph.rs │ ├── infer.rs │ ├── liveness.rs │ ├── loans_in_scope.rs │ ├── log.rs │ ├── main.rs │ ├── region.rs │ └── regionck.rs └── test ├── arielb1-loop-carry-drop.nll ├── borrowck-kill-shared-ref-while-reborrowed.nll ├── borrowck-kill-struct-field-while-struct-is-borrowed.nll ├── borrowck-kill-struct-while-struct-field-is-borrowed.nll ├── borrowck-kill-variable-while-borrowed-indirect.nll ├── borrowck-kill-while-borrowed.nll ├── borrowck-move-struct-containing-mutable-ref-to-shared-ref-whose-referent-is-borrowed.nll ├── borrowck-move-struct-containing-mutable-ref-whose-referent-is-borrowed.nll ├── borrowck-move-struct-containing-shared-ref-whose-referent-is-borrowed.nll ├── borrowck-move-struct-whose-field-is-borrowed.nll ├── borrowck-mut-borrow-struct-whose-field-is-borrowed.nll ├── borrowck-mut-borrow-struct-whose-fields-referent-is-borrowed.nll ├── borrowck-read-ref-while-referent-mutably-borrowed.nll ├── borrowck-read-referent-of-ref-in-field-when-struct-is-borrowed.nll ├── borrowck-read-struct-containing-shared-ref-whose-referent-is-borrowed.nll ├── borrowck-read-struct-containing-struct-whose-field-is-mutably-borrowed.nll ├── borrowck-read-struct-containing-struct-whose-field-is-shared-borrowed.nll ├── borrowck-read-variable-after-last-use-of-borrow.nll ├── borrowck-read-variable-while-borrowed-double-indirect.nll ├── borrowck-read-variable-while-borrowed-indirect.nll ├── borrowck-read-variable-while-borrowed.nll ├── borrowck-walk-linked-list.nll ├── borrowck-write-field-while-struct-borrowed.nll ├── borrowck-write-struct-containing-mutable-ref-whose-referent-is-mutably-borrowed.nll ├── borrowck-write-struct-containing-mutable-ref-whose-referent-is-shared-borrowed.nll ├── borrowck-write-struct-containing-struct-whose-field-is-mutably-borrowed.nll ├── borrowck-write-struct-containing-struct-whose-field-is-shared-borrowed.nll ├── borrowck-write-struct-while-field-borrowed.nll ├── borrowck-write-variable-after-ref-extracted.nll ├── borrowck-write-variable-before-ref-extracted.nll ├── borrowck-write-variable-while-borrowed-double-indirect.nll ├── borrowck-write-variable-while-borrowed.nll ├── cycle.nll ├── cycle_bad.nll ├── felix-1.nll ├── felix-2.nll ├── felix-loop.nll ├── get-default.nll ├── issue-38-2.nll ├── issue-38.nll ├── liveness.nll ├── may_dangle.nll ├── multiblock-loan.nll ├── outlives-too-long.nll ├── scope-spawn.nll └── vec-push-ref.nll /.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | *~ 4 | TAGS 5 | *.rs.bk -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/README.md -------------------------------------------------------------------------------- /graph-algorithms/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/Cargo.toml -------------------------------------------------------------------------------- /graph-algorithms/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/LICENSE-APACHE -------------------------------------------------------------------------------- /graph-algorithms/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/LICENSE-MIT -------------------------------------------------------------------------------- /graph-algorithms/src/bit_set/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/bit_set/mod.rs -------------------------------------------------------------------------------- /graph-algorithms/src/dominators/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/dominators/mod.rs -------------------------------------------------------------------------------- /graph-algorithms/src/dominators/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/dominators/test.rs -------------------------------------------------------------------------------- /graph-algorithms/src/iterate/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/iterate/mod.rs -------------------------------------------------------------------------------- /graph-algorithms/src/iterate/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/iterate/test.rs -------------------------------------------------------------------------------- /graph-algorithms/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/lib.rs -------------------------------------------------------------------------------- /graph-algorithms/src/loop_tree/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/loop_tree/mod.rs -------------------------------------------------------------------------------- /graph-algorithms/src/loop_tree/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/loop_tree/test.rs -------------------------------------------------------------------------------- /graph-algorithms/src/loop_tree/tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/loop_tree/tree.rs -------------------------------------------------------------------------------- /graph-algorithms/src/loop_tree/walk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/loop_tree/walk.rs -------------------------------------------------------------------------------- /graph-algorithms/src/node_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/node_vec.rs -------------------------------------------------------------------------------- /graph-algorithms/src/reachable/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/reachable/mod.rs -------------------------------------------------------------------------------- /graph-algorithms/src/reachable/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/reachable/test.rs -------------------------------------------------------------------------------- /graph-algorithms/src/reference.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/reference.rs -------------------------------------------------------------------------------- /graph-algorithms/src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/test.rs -------------------------------------------------------------------------------- /graph-algorithms/src/transpose.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/graph-algorithms/src/transpose.rs -------------------------------------------------------------------------------- /nll-repr/.gitignore: -------------------------------------------------------------------------------- 1 | target 2 | Cargo.lock 3 | *~ 4 | TAGS -------------------------------------------------------------------------------- /nll-repr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/Cargo.toml -------------------------------------------------------------------------------- /nll-repr/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/LICENSE-APACHE -------------------------------------------------------------------------------- /nll-repr/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/LICENSE-MIT -------------------------------------------------------------------------------- /nll-repr/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/build.rs -------------------------------------------------------------------------------- /nll-repr/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/src/lib.rs -------------------------------------------------------------------------------- /nll-repr/src/repr/.gitignore: -------------------------------------------------------------------------------- 1 | parser.rs -------------------------------------------------------------------------------- /nll-repr/src/repr/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/src/repr/mod.rs -------------------------------------------------------------------------------- /nll-repr/src/repr/parser.lalrpop: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll-repr/src/repr/parser.lalrpop -------------------------------------------------------------------------------- /nll/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/Cargo.toml -------------------------------------------------------------------------------- /nll/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/LICENSE-APACHE -------------------------------------------------------------------------------- /nll/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/LICENSE-MIT -------------------------------------------------------------------------------- /nll/src/borrowck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/borrowck.rs -------------------------------------------------------------------------------- /nll/src/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/env.rs -------------------------------------------------------------------------------- /nll/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/errors.rs -------------------------------------------------------------------------------- /nll/src/graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/graph.rs -------------------------------------------------------------------------------- /nll/src/infer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/infer.rs -------------------------------------------------------------------------------- /nll/src/liveness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/liveness.rs -------------------------------------------------------------------------------- /nll/src/loans_in_scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/loans_in_scope.rs -------------------------------------------------------------------------------- /nll/src/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/log.rs -------------------------------------------------------------------------------- /nll/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/main.rs -------------------------------------------------------------------------------- /nll/src/region.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/region.rs -------------------------------------------------------------------------------- /nll/src/regionck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/nll/src/regionck.rs -------------------------------------------------------------------------------- /test/arielb1-loop-carry-drop.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/arielb1-loop-carry-drop.nll -------------------------------------------------------------------------------- /test/borrowck-kill-shared-ref-while-reborrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-kill-shared-ref-while-reborrowed.nll -------------------------------------------------------------------------------- /test/borrowck-kill-struct-field-while-struct-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-kill-struct-field-while-struct-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-kill-struct-while-struct-field-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-kill-struct-while-struct-field-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-kill-variable-while-borrowed-indirect.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-kill-variable-while-borrowed-indirect.nll -------------------------------------------------------------------------------- /test/borrowck-kill-while-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-kill-while-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-move-struct-containing-mutable-ref-to-shared-ref-whose-referent-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-move-struct-containing-mutable-ref-to-shared-ref-whose-referent-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-move-struct-containing-mutable-ref-whose-referent-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-move-struct-containing-mutable-ref-whose-referent-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-move-struct-containing-shared-ref-whose-referent-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-move-struct-containing-shared-ref-whose-referent-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-move-struct-whose-field-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-move-struct-whose-field-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-mut-borrow-struct-whose-field-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-mut-borrow-struct-whose-field-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-mut-borrow-struct-whose-fields-referent-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-mut-borrow-struct-whose-fields-referent-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-ref-while-referent-mutably-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-ref-while-referent-mutably-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-referent-of-ref-in-field-when-struct-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-referent-of-ref-in-field-when-struct-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-struct-containing-shared-ref-whose-referent-is-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-struct-containing-shared-ref-whose-referent-is-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-struct-containing-struct-whose-field-is-mutably-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-struct-containing-struct-whose-field-is-mutably-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-struct-containing-struct-whose-field-is-shared-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-struct-containing-struct-whose-field-is-shared-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-read-variable-after-last-use-of-borrow.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-variable-after-last-use-of-borrow.nll -------------------------------------------------------------------------------- /test/borrowck-read-variable-while-borrowed-double-indirect.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-variable-while-borrowed-double-indirect.nll -------------------------------------------------------------------------------- /test/borrowck-read-variable-while-borrowed-indirect.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-variable-while-borrowed-indirect.nll -------------------------------------------------------------------------------- /test/borrowck-read-variable-while-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-read-variable-while-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-walk-linked-list.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-walk-linked-list.nll -------------------------------------------------------------------------------- /test/borrowck-write-field-while-struct-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-field-while-struct-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-struct-containing-mutable-ref-whose-referent-is-mutably-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-struct-containing-mutable-ref-whose-referent-is-mutably-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-struct-containing-mutable-ref-whose-referent-is-shared-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-struct-containing-mutable-ref-whose-referent-is-shared-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-struct-containing-struct-whose-field-is-mutably-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-struct-containing-struct-whose-field-is-mutably-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-struct-containing-struct-whose-field-is-shared-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-struct-containing-struct-whose-field-is-shared-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-struct-while-field-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-struct-while-field-borrowed.nll -------------------------------------------------------------------------------- /test/borrowck-write-variable-after-ref-extracted.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-variable-after-ref-extracted.nll -------------------------------------------------------------------------------- /test/borrowck-write-variable-before-ref-extracted.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-variable-before-ref-extracted.nll -------------------------------------------------------------------------------- /test/borrowck-write-variable-while-borrowed-double-indirect.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-variable-while-borrowed-double-indirect.nll -------------------------------------------------------------------------------- /test/borrowck-write-variable-while-borrowed.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/borrowck-write-variable-while-borrowed.nll -------------------------------------------------------------------------------- /test/cycle.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/cycle.nll -------------------------------------------------------------------------------- /test/cycle_bad.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/cycle_bad.nll -------------------------------------------------------------------------------- /test/felix-1.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/felix-1.nll -------------------------------------------------------------------------------- /test/felix-2.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/felix-2.nll -------------------------------------------------------------------------------- /test/felix-loop.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/felix-loop.nll -------------------------------------------------------------------------------- /test/get-default.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/get-default.nll -------------------------------------------------------------------------------- /test/issue-38-2.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/issue-38-2.nll -------------------------------------------------------------------------------- /test/issue-38.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/issue-38.nll -------------------------------------------------------------------------------- /test/liveness.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/liveness.nll -------------------------------------------------------------------------------- /test/may_dangle.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/may_dangle.nll -------------------------------------------------------------------------------- /test/multiblock-loan.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/multiblock-loan.nll -------------------------------------------------------------------------------- /test/outlives-too-long.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/outlives-too-long.nll -------------------------------------------------------------------------------- /test/scope-spawn.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/scope-spawn.nll -------------------------------------------------------------------------------- /test/vec-push-ref.nll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nikomatsakis/borrowck/HEAD/test/vec-push-ref.nll --------------------------------------------------------------------------------