├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .mailmap ├── CODE_OF_CONDUCT.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── README.md ├── RELEASES.md ├── book ├── .gitignore ├── book.toml └── src │ ├── SUMMARY.md │ ├── current_status.md │ ├── generate_inputs.md │ ├── getting_started.md │ ├── rules.md │ ├── rules │ ├── atoms.md │ ├── initialization.md │ ├── liveness.md │ ├── loans.md │ └── relations.md │ ├── see_also.md │ ├── testing.md │ └── what_is_polonius.md ├── inputs ├── clap-rs │ ├── README.md │ └── app-parser-{{impl}}-add_defaults │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts ├── collect-facts.sh ├── drop-liveness │ └── drop-liveness.rs ├── drop-may-dangle │ └── drop-may-dangle.rs ├── drop-no-may-dangle │ └── drop-no-may-dangle.rs ├── enum-drop-access │ └── enum-drop-access.rs ├── issue-47680 │ ├── issue-47680.rs │ └── nll-facts │ │ ├── main │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ │ └── {{impl}}-maybe_next │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts ├── issue-52059-report-when-borrow-and-drop-conflict │ └── issue-52059-report-when-borrow-and-drop-conflict.rs ├── maybe-initialized-drop-implicit-fragment-drop │ └── maybe-initialized-drop-implicit-fragment-drop.rs ├── maybe-initialized-drop-uninitialized │ └── maybe-initialized-drop-uninitialized.rs ├── maybe-initialized-drop-with-fragment │ └── maybe-initialized-drop-with-fragment.rs ├── maybe-initialized-drop-with-uninitialized-fragments │ └── maybe-initialized-drop-with-uninitialized-fragments.rs ├── maybe-initialized-drop │ └── maybe-initialized-drop.rs ├── smoke-test │ ├── nll-facts │ │ ├── basic_move_error │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── conditional_init │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── foo │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── main │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── move_reinitialize_ok │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── position_dependent_outlives │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── random │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── return_ref_to_local │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── use_while_mut │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── use_while_mut_fr │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ └── well_formed_function_inputs │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ └── polonius-smoke-test.rs ├── subset-relations │ ├── nll-facts │ │ ├── implied_bounds_subset │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ ├── missing_subset │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ │ └── valid_subset │ │ │ ├── cfg_edge.facts │ │ │ ├── child_path.facts │ │ │ ├── drop_of_var_derefs_origin.facts │ │ │ ├── known_placeholder_subset.facts │ │ │ ├── loan_invalidated_at.facts │ │ │ ├── loan_issued_at.facts │ │ │ ├── loan_killed_at.facts │ │ │ ├── path_accessed_at_base.facts │ │ │ ├── path_assigned_at_base.facts │ │ │ ├── path_is_var.facts │ │ │ ├── path_moved_at_base.facts │ │ │ ├── placeholder.facts │ │ │ ├── subset_base.facts │ │ │ ├── universal_region.facts │ │ │ ├── use_of_var_derefs_origin.facts │ │ │ ├── var_defined_at.facts │ │ │ ├── var_dropped_at.facts │ │ │ └── var_used_at.facts │ └── subset-relations.rs └── vec-push-ref │ ├── nll-facts │ ├── foo1 │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ ├── foo2 │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ ├── foo3 │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ ├── main │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ └── something │ │ ├── cfg_edge.facts │ │ ├── child_path.facts │ │ ├── drop_of_var_derefs_origin.facts │ │ ├── known_placeholder_subset.facts │ │ ├── loan_invalidated_at.facts │ │ ├── loan_issued_at.facts │ │ ├── loan_killed_at.facts │ │ ├── path_accessed_at_base.facts │ │ ├── path_assigned_at_base.facts │ │ ├── path_is_var.facts │ │ ├── path_moved_at_base.facts │ │ ├── placeholder.facts │ │ ├── subset_base.facts │ │ ├── universal_region.facts │ │ ├── use_of_var_derefs_origin.facts │ │ ├── var_defined_at.facts │ │ ├── var_dropped_at.facts │ │ └── var_used_at.facts │ └── vec-push-ref.rs ├── polonius-engine ├── Cargo.toml ├── README.md └── src │ ├── facts.rs │ ├── lib.rs │ └── output │ ├── datafrog_opt.rs │ ├── initialization.rs │ ├── liveness.rs │ ├── location_insensitive.rs │ ├── mod.rs │ └── naive.rs ├── polonius-parser ├── Cargo.toml ├── README.md └── src │ ├── error.rs │ ├── ir.rs │ ├── lexer.rs │ ├── lib.rs │ ├── parser.rs │ ├── tests.rs │ └── token.rs ├── rust-toolchain ├── src ├── cli.rs ├── dump.rs ├── facts.rs ├── intern.rs ├── lib.rs ├── main.rs ├── program.rs ├── tab_delim.rs ├── test.rs └── test_util.rs └── triagebot.toml /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/.gitignore -------------------------------------------------------------------------------- /.mailmap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/.mailmap -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/README.md -------------------------------------------------------------------------------- /RELEASES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/RELEASES.md -------------------------------------------------------------------------------- /book/.gitignore: -------------------------------------------------------------------------------- 1 | book 2 | -------------------------------------------------------------------------------- /book/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/book.toml -------------------------------------------------------------------------------- /book/src/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/SUMMARY.md -------------------------------------------------------------------------------- /book/src/current_status.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/current_status.md -------------------------------------------------------------------------------- /book/src/generate_inputs.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/generate_inputs.md -------------------------------------------------------------------------------- /book/src/getting_started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/getting_started.md -------------------------------------------------------------------------------- /book/src/rules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/rules.md -------------------------------------------------------------------------------- /book/src/rules/atoms.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/rules/atoms.md -------------------------------------------------------------------------------- /book/src/rules/initialization.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/rules/initialization.md -------------------------------------------------------------------------------- /book/src/rules/liveness.md: -------------------------------------------------------------------------------- 1 | # Liveness analysis 2 | 3 | **These rules are not yet described.** 4 | -------------------------------------------------------------------------------- /book/src/rules/loans.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/rules/loans.md -------------------------------------------------------------------------------- /book/src/rules/relations.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/rules/relations.md -------------------------------------------------------------------------------- /book/src/see_also.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/see_also.md -------------------------------------------------------------------------------- /book/src/testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/testing.md -------------------------------------------------------------------------------- /book/src/what_is_polonius.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/book/src/what_is_polonius.md -------------------------------------------------------------------------------- /inputs/clap-rs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/README.md -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/child_path.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/child_path.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_is_var.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/placeholder.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/subset_base.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/universal_region.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/clap-rs/app-parser-{{impl}}-add_defaults/var_used_at.facts -------------------------------------------------------------------------------- /inputs/collect-facts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/collect-facts.sh -------------------------------------------------------------------------------- /inputs/drop-liveness/drop-liveness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/drop-liveness/drop-liveness.rs -------------------------------------------------------------------------------- /inputs/drop-may-dangle/drop-may-dangle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/drop-may-dangle/drop-may-dangle.rs -------------------------------------------------------------------------------- /inputs/drop-no-may-dangle/drop-no-may-dangle.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/drop-no-may-dangle/drop-no-may-dangle.rs -------------------------------------------------------------------------------- /inputs/enum-drop-access/enum-drop-access.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/enum-drop-access/enum-drop-access.rs -------------------------------------------------------------------------------- /inputs/issue-47680/issue-47680.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/issue-47680.rs -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/child_path.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/child_path.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/path_is_var.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/placeholder.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/subset_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/universal_region.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/main/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/main/var_used_at.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_is_var.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/placeholder.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/subset_base.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/universal_region.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-47680/nll-facts/{{impl}}-maybe_next/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-47680/nll-facts/{{impl}}-maybe_next/var_used_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/issue-52059-report-when-borrow-and-drop-conflict/issue-52059-report-when-borrow-and-drop-conflict.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/issue-52059-report-when-borrow-and-drop-conflict/issue-52059-report-when-borrow-and-drop-conflict.rs -------------------------------------------------------------------------------- /inputs/maybe-initialized-drop-implicit-fragment-drop/maybe-initialized-drop-implicit-fragment-drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/maybe-initialized-drop-implicit-fragment-drop/maybe-initialized-drop-implicit-fragment-drop.rs -------------------------------------------------------------------------------- /inputs/maybe-initialized-drop-uninitialized/maybe-initialized-drop-uninitialized.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/maybe-initialized-drop-uninitialized/maybe-initialized-drop-uninitialized.rs -------------------------------------------------------------------------------- /inputs/maybe-initialized-drop-with-fragment/maybe-initialized-drop-with-fragment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/maybe-initialized-drop-with-fragment/maybe-initialized-drop-with-fragment.rs -------------------------------------------------------------------------------- /inputs/maybe-initialized-drop-with-uninitialized-fragments/maybe-initialized-drop-with-uninitialized-fragments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/maybe-initialized-drop-with-uninitialized-fragments/maybe-initialized-drop-with-uninitialized-fragments.rs -------------------------------------------------------------------------------- /inputs/maybe-initialized-drop/maybe-initialized-drop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/maybe-initialized-drop/maybe-initialized-drop.rs -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/child_path.facts: -------------------------------------------------------------------------------- 1 | "mp33" "mp7" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/basic_move_error/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/basic_move_error/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/conditional_init/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/conditional_init/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp1" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/foo/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/foo/var_used_at.facts: -------------------------------------------------------------------------------- 1 | "_1" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/main/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/main/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/path_assigned_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/path_is_var.facts: -------------------------------------------------------------------------------- 1 | "mp0" "_0" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/main/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/main/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/subset_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/main/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/main/var_used_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/child_path.facts: -------------------------------------------------------------------------------- 1 | "mp36" "mp7" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/move_reinitialize_ok/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/move_reinitialize_ok/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/position_dependent_outlives/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/position_dependent_outlives/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/path_assigned_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/random/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_1" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/random/var_used_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | "\'_#2r" "bw0" "Mid(bb0[4])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/return_ref_to_local/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/return_ref_to_local/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | "\'_#2r" "bw0" "Mid(bb0[4])" 2 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/use_while_mut_fr/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/use_while_mut_fr/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/path_is_var.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/placeholder.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/subset_base.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/universal_region.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/smoke-test/nll-facts/well_formed_function_inputs/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/nll-facts/well_formed_function_inputs/var_used_at.facts -------------------------------------------------------------------------------- /inputs/smoke-test/polonius-smoke-test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/smoke-test/polonius-smoke-test.rs -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp1" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/path_is_var.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/placeholder.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/subset_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/universal_region.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/implied_bounds_subset/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/implied_bounds_subset/var_used_at.facts: -------------------------------------------------------------------------------- 1 | "_1" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp2" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/path_is_var.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/placeholder.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/subset_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/universal_region.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/missing_subset/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/missing_subset/var_used_at.facts: -------------------------------------------------------------------------------- 1 | "_2" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp2" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/path_is_var.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/placeholder.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/subset_base.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/universal_region.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/nll-facts/valid_subset/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/subset-relations/nll-facts/valid_subset/var_used_at.facts: -------------------------------------------------------------------------------- 1 | "_2" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/subset-relations/subset-relations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/subset-relations/subset-relations.rs -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/child_path.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/child_path.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/path_is_var.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/placeholder.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/subset_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/universal_region.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo1/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo1/var_used_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/child_path.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/child_path.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/path_is_var.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/placeholder.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/subset_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/universal_region.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo2/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo2/var_used_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/child_path.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/child_path.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/loan_invalidated_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/loan_invalidated_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/loan_issued_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/loan_issued_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/loan_killed_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/loan_killed_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/path_accessed_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/path_accessed_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/path_assigned_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/path_assigned_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/path_is_var.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/path_is_var.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/placeholder.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/subset_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/subset_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/universal_region.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/use_of_var_derefs_origin.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/var_defined_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/var_defined_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/var_dropped_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/var_dropped_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/foo3/var_used_at.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/foo3/var_used_at.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/main/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/main/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/path_assigned_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/path_is_var.facts: -------------------------------------------------------------------------------- 1 | "mp0" "_0" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/main/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/main/placeholder.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/subset_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/main/universal_region.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/main/var_used_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/cfg_edge.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/something/cfg_edge.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/child_path.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/drop_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/known_placeholder_subset.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/something/known_placeholder_subset.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/loan_invalidated_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/loan_issued_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/loan_killed_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/path_accessed_at_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/path_assigned_at_base.facts: -------------------------------------------------------------------------------- 1 | "mp0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/path_is_var.facts: -------------------------------------------------------------------------------- 1 | "mp0" "_0" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/path_moved_at_base.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/something/path_moved_at_base.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/placeholder.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/something/placeholder.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/subset_base.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/universal_region.facts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/nll-facts/something/universal_region.facts -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/use_of_var_derefs_origin.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/var_defined_at.facts: -------------------------------------------------------------------------------- 1 | "_0" "Mid(bb0[0])" 2 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/var_dropped_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/nll-facts/something/var_used_at.facts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /inputs/vec-push-ref/vec-push-ref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/inputs/vec-push-ref/vec-push-ref.rs -------------------------------------------------------------------------------- /polonius-engine/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/Cargo.toml -------------------------------------------------------------------------------- /polonius-engine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/README.md -------------------------------------------------------------------------------- /polonius-engine/src/facts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/facts.rs -------------------------------------------------------------------------------- /polonius-engine/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/lib.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/datafrog_opt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/datafrog_opt.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/initialization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/initialization.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/liveness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/liveness.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/location_insensitive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/location_insensitive.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/mod.rs -------------------------------------------------------------------------------- /polonius-engine/src/output/naive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-engine/src/output/naive.rs -------------------------------------------------------------------------------- /polonius-parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/Cargo.toml -------------------------------------------------------------------------------- /polonius-parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/README.md -------------------------------------------------------------------------------- /polonius-parser/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/error.rs -------------------------------------------------------------------------------- /polonius-parser/src/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/ir.rs -------------------------------------------------------------------------------- /polonius-parser/src/lexer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/lexer.rs -------------------------------------------------------------------------------- /polonius-parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/lib.rs -------------------------------------------------------------------------------- /polonius-parser/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/parser.rs -------------------------------------------------------------------------------- /polonius-parser/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/tests.rs -------------------------------------------------------------------------------- /polonius-parser/src/token.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/polonius-parser/src/token.rs -------------------------------------------------------------------------------- /rust-toolchain: -------------------------------------------------------------------------------- 1 | beta 2 | -------------------------------------------------------------------------------- /src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/cli.rs -------------------------------------------------------------------------------- /src/dump.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/dump.rs -------------------------------------------------------------------------------- /src/facts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/facts.rs -------------------------------------------------------------------------------- /src/intern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/intern.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/program.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/program.rs -------------------------------------------------------------------------------- /src/tab_delim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/tab_delim.rs -------------------------------------------------------------------------------- /src/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/test.rs -------------------------------------------------------------------------------- /src/test_util.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/rust-lang/polonius/HEAD/src/test_util.rs -------------------------------------------------------------------------------- /triagebot.toml: -------------------------------------------------------------------------------- 1 | [assign] 2 | --------------------------------------------------------------------------------