├── .cargo └── config.toml ├── .editorconfig ├── .git-blame-ignore-revs ├── .gitattributes ├── .github ├── ISSUE_TEMPLATE │ ├── bug_report.md │ ├── feature_request.md │ └── question.md ├── actions │ └── github-release │ │ ├── Dockerfile │ │ ├── README.md │ │ ├── action.yml │ │ ├── main.js │ │ └── package.json ├── pull_request_template.md ├── rust.json └── workflows │ ├── ci.yaml │ ├── release.yaml │ └── verus.yml ├── .gitignore ├── .typos.toml ├── .vscode ├── extensions.json ├── launch.json └── tasks.json ├── CONTRIBUTING.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE-APACHE ├── LICENSE-MIT ├── PRIVACY.md ├── README.md ├── assets ├── logo-square.svg └── logo-wide.svg ├── bench_data ├── glorious_old_parser └── numerous_macro_rules ├── clippy.toml ├── crates ├── base-db │ ├── Cargo.toml │ └── src │ │ ├── change.rs │ │ ├── input.rs │ │ └── lib.rs ├── cfg │ ├── Cargo.toml │ └── src │ │ ├── cfg_expr.rs │ │ ├── dnf.rs │ │ ├── lib.rs │ │ └── tests.rs ├── flycheck │ ├── Cargo.toml │ └── src │ │ ├── command.rs │ │ ├── lib.rs │ │ └── test_runner.rs ├── hir-def │ ├── Cargo.toml │ └── src │ │ ├── attr.rs │ │ ├── body.rs │ │ ├── body │ │ ├── lower.rs │ │ ├── pretty.rs │ │ ├── scope.rs │ │ ├── tests.rs │ │ └── tests │ │ │ └── block.rs │ │ ├── builtin_type.rs │ │ ├── child_by_source.rs │ │ ├── data.rs │ │ ├── data │ │ └── adt.rs │ │ ├── db.rs │ │ ├── dyn_map.rs │ │ ├── dyn_map │ │ └── keys.rs │ │ ├── expander.rs │ │ ├── find_path.rs │ │ ├── generics.rs │ │ ├── hir.rs │ │ ├── hir │ │ ├── format_args.rs │ │ └── type_ref.rs │ │ ├── import_map.rs │ │ ├── item_scope.rs │ │ ├── item_tree.rs │ │ ├── item_tree │ │ ├── lower.rs │ │ ├── pretty.rs │ │ └── tests.rs │ │ ├── lang_item.rs │ │ ├── lib.rs │ │ ├── lower.rs │ │ ├── macro_expansion_tests │ │ ├── builtin_derive_macro.rs │ │ ├── builtin_fn_macro.rs │ │ ├── mbe.rs │ │ ├── mbe │ │ │ ├── matching.rs │ │ │ ├── meta_syntax.rs │ │ │ ├── metavar_expr.rs │ │ │ ├── regression.rs │ │ │ └── tt_conversion.rs │ │ ├── mod.rs │ │ └── proc_macros.rs │ │ ├── nameres.rs │ │ ├── nameres │ │ ├── attr_resolution.rs │ │ ├── collector.rs │ │ ├── diagnostics.rs │ │ ├── mod_resolution.rs │ │ ├── path_resolution.rs │ │ ├── proc_macro.rs │ │ ├── tests.rs │ │ └── tests │ │ │ ├── globs.rs │ │ │ ├── incremental.rs │ │ │ ├── macros.rs │ │ │ ├── mod_resolution.rs │ │ │ └── primitives.rs │ │ ├── path.rs │ │ ├── path │ │ └── lower.rs │ │ ├── per_ns.rs │ │ ├── pretty.rs │ │ ├── resolver.rs │ │ ├── src.rs │ │ ├── test_db.rs │ │ ├── trace.rs │ │ └── visibility.rs ├── hir-expand │ ├── Cargo.toml │ └── src │ │ ├── attrs.rs │ │ ├── builtin_attr_macro.rs │ │ ├── builtin_derive_macro.rs │ │ ├── builtin_fn_macro.rs │ │ ├── cfg_process.rs │ │ ├── change.rs │ │ ├── db.rs │ │ ├── declarative.rs │ │ ├── eager.rs │ │ ├── files.rs │ │ ├── fixup.rs │ │ ├── hygiene.rs │ │ ├── inert_attr_macro.rs │ │ ├── lib.rs │ │ ├── mod_path.rs │ │ ├── name.rs │ │ ├── proc_macro.rs │ │ ├── quote.rs │ │ └── span_map.rs ├── hir-ty │ ├── Cargo.toml │ └── src │ │ ├── autoderef.rs │ │ ├── builder.rs │ │ ├── chalk_db.rs │ │ ├── chalk_ext.rs │ │ ├── consteval.rs │ │ ├── consteval │ │ ├── tests.rs │ │ └── tests │ │ │ └── intrinsics.rs │ │ ├── db.rs │ │ ├── diagnostics.rs │ │ ├── diagnostics │ │ ├── decl_check.rs │ │ ├── decl_check │ │ │ └── case_conv.rs │ │ ├── expr.rs │ │ ├── match_check.rs │ │ ├── match_check │ │ │ ├── pat_analysis.rs │ │ │ └── pat_util.rs │ │ └── unsafe_check.rs │ │ ├── display.rs │ │ ├── generics.rs │ │ ├── infer.rs │ │ ├── infer │ │ ├── cast.rs │ │ ├── closure.rs │ │ ├── coerce.rs │ │ ├── expr.rs │ │ ├── mutability.rs │ │ ├── pat.rs │ │ ├── path.rs │ │ └── unify.rs │ │ ├── inhabitedness.rs │ │ ├── interner.rs │ │ ├── lang_items.rs │ │ ├── layout.rs │ │ ├── layout │ │ ├── adt.rs │ │ ├── target.rs │ │ ├── tests.rs │ │ └── tests │ │ │ └── closure.rs │ │ ├── lib.rs │ │ ├── lower.rs │ │ ├── mapping.rs │ │ ├── method_resolution.rs │ │ ├── mir.rs │ │ ├── mir │ │ ├── borrowck.rs │ │ ├── eval.rs │ │ ├── eval │ │ │ ├── shim.rs │ │ │ ├── shim │ │ │ │ └── simd.rs │ │ │ └── tests.rs │ │ ├── lower.rs │ │ ├── lower │ │ │ ├── as_place.rs │ │ │ └── pattern_matching.rs │ │ ├── monomorphization.rs │ │ └── pretty.rs │ │ ├── primitive.rs │ │ ├── test_db.rs │ │ ├── tests.rs │ │ ├── tests │ │ ├── coercion.rs │ │ ├── diagnostics.rs │ │ ├── display_source_code.rs │ │ ├── incremental.rs │ │ ├── macros.rs │ │ ├── method_resolution.rs │ │ ├── never_type.rs │ │ ├── patterns.rs │ │ ├── regression.rs │ │ ├── simple.rs │ │ └── traits.rs │ │ ├── tls.rs │ │ ├── traits.rs │ │ └── utils.rs ├── hir │ ├── Cargo.toml │ └── src │ │ ├── attrs.rs │ │ ├── db.rs │ │ ├── diagnostics.rs │ │ ├── display.rs │ │ ├── from_id.rs │ │ ├── has_source.rs │ │ ├── lib.rs │ │ ├── semantics.rs │ │ ├── semantics │ │ └── source_to_def.rs │ │ ├── source_analyzer.rs │ │ ├── symbols.rs │ │ ├── term_search.rs │ │ └── term_search │ │ ├── expr.rs │ │ └── tactics.rs ├── ide-assists │ ├── Cargo.toml │ └── src │ │ ├── assist_config.rs │ │ ├── assist_context.rs │ │ ├── handlers │ │ ├── add_braces.rs │ │ ├── add_explicit_type.rs │ │ ├── add_label_to_loop.rs │ │ ├── add_lifetime_to_type.rs │ │ ├── add_missing_impl_members.rs │ │ ├── add_missing_match_arms.rs │ │ ├── add_return_type.rs │ │ ├── add_turbo_fish.rs │ │ ├── apply_demorgan.rs │ │ ├── auto_import.rs │ │ ├── bind_unused_param.rs │ │ ├── bool_to_enum.rs │ │ ├── change_visibility.rs │ │ ├── convert_bool_then.rs │ │ ├── convert_comment_block.rs │ │ ├── convert_comment_from_or_to_doc.rs │ │ ├── convert_from_to_tryfrom.rs │ │ ├── convert_integer_literal.rs │ │ ├── convert_into_to_from.rs │ │ ├── convert_iter_for_each_to_for.rs │ │ ├── convert_let_else_to_match.rs │ │ ├── convert_match_to_let_else.rs │ │ ├── convert_named_struct_to_tuple_struct.rs │ │ ├── convert_nested_function_to_closure.rs │ │ ├── convert_to_guarded_return.rs │ │ ├── convert_tuple_return_type_to_struct.rs │ │ ├── convert_tuple_struct_to_named_struct.rs │ │ ├── convert_two_arm_bool_match_to_matches_macro.rs │ │ ├── convert_while_to_loop.rs │ │ ├── destructure_struct_binding.rs │ │ ├── destructure_tuple_binding.rs │ │ ├── desugar_doc_comment.rs │ │ ├── expand_glob_import.rs │ │ ├── extract_expressions_from_format_string.rs │ │ ├── extract_function.rs │ │ ├── extract_module.rs │ │ ├── extract_struct_from_enum_variant.rs │ │ ├── extract_type_alias.rs │ │ ├── extract_variable.rs │ │ ├── fill_record_pattern_fields.rs │ │ ├── fix_visibility.rs │ │ ├── flip_binexpr.rs │ │ ├── flip_comma.rs │ │ ├── flip_trait_bound.rs │ │ ├── generate_constant.rs │ │ ├── generate_default_from_enum_variant.rs │ │ ├── generate_default_from_new.rs │ │ ├── generate_delegate_methods.rs │ │ ├── generate_delegate_trait.rs │ │ ├── generate_deref.rs │ │ ├── generate_derive.rs │ │ ├── generate_documentation_template.rs │ │ ├── generate_enum_is_method.rs │ │ ├── generate_enum_projection_method.rs │ │ ├── generate_enum_variant.rs │ │ ├── generate_from_impl_for_enum.rs │ │ ├── generate_function.rs │ │ ├── generate_getter_or_setter.rs │ │ ├── generate_impl.rs │ │ ├── generate_is_empty_from_len.rs │ │ ├── generate_mut_trait_impl.rs │ │ ├── generate_new.rs │ │ ├── generate_trait_from_impl.rs │ │ ├── inline_call.rs │ │ ├── inline_const_as_literal.rs │ │ ├── inline_local_variable.rs │ │ ├── inline_macro.rs │ │ ├── inline_type_alias.rs │ │ ├── into_to_qualified_from.rs │ │ ├── introduce_named_generic.rs │ │ ├── introduce_named_lifetime.rs │ │ ├── invert_if.rs │ │ ├── merge_imports.rs │ │ ├── merge_match_arms.rs │ │ ├── merge_nested_if.rs │ │ ├── move_bounds.rs │ │ ├── move_const_to_impl.rs │ │ ├── move_from_mod_rs.rs │ │ ├── move_guard.rs │ │ ├── move_module_to_file.rs │ │ ├── move_to_mod_rs.rs │ │ ├── normalize_import.rs │ │ ├── number_representation.rs │ │ ├── promote_local_to_const.rs │ │ ├── proof_action.rs │ │ ├── proof_action │ │ │ ├── apply_induction.rs │ │ │ ├── convert_imply_to_if.rs │ │ │ ├── decompose_failing_assert.rs │ │ │ ├── insert_assert_by_block.rs │ │ │ ├── insert_failing_postcondition.rs │ │ │ ├── insert_failing_precondition.rs │ │ │ ├── intro_assume_false.rs │ │ │ ├── intro_forall.rs │ │ │ ├── intro_forall_implies.rs │ │ │ ├── intro_matching_assertions.rs │ │ │ ├── remove_redundant_assertion.rs │ │ │ ├── reveal_opaque_above.rs │ │ │ ├── reveal_opaque_in_by_block.rs │ │ │ ├── seq_index_inbound.rs │ │ │ ├── split_imply_ensures.rs │ │ │ ├── split_smaller_or_equal_to.rs │ │ │ └── weakest_pre_step.rs │ │ ├── pull_assignment_up.rs │ │ ├── qualify_method_call.rs │ │ ├── qualify_path.rs │ │ ├── raw_string.rs │ │ ├── remove_dbg.rs │ │ ├── remove_mut.rs │ │ ├── remove_parentheses.rs │ │ ├── remove_unused_imports.rs │ │ ├── remove_unused_param.rs │ │ ├── reorder_fields.rs │ │ ├── reorder_impl_items.rs │ │ ├── replace_arith_op.rs │ │ ├── replace_derive_with_manual_impl.rs │ │ ├── replace_if_let_with_match.rs │ │ ├── replace_is_method_with_if_let_method.rs │ │ ├── replace_let_with_if_let.rs │ │ ├── replace_method_eager_lazy.rs │ │ ├── replace_named_generic_with_impl.rs │ │ ├── replace_qualified_name_with_use.rs │ │ ├── replace_string_with_char.rs │ │ ├── replace_try_expr_with_match.rs │ │ ├── replace_turbofish_with_explicit_type.rs │ │ ├── sort_items.rs │ │ ├── split_import.rs │ │ ├── term_search.rs │ │ ├── toggle_async_sugar.rs │ │ ├── toggle_ignore.rs │ │ ├── unmerge_match_arm.rs │ │ ├── unmerge_use.rs │ │ ├── unnecessary_async.rs │ │ ├── unqualify_method_call.rs │ │ ├── unwrap_block.rs │ │ ├── unwrap_result_return_type.rs │ │ ├── unwrap_tuple.rs │ │ ├── wrap_return_type_in_result.rs │ │ └── wrap_unwrap_cfg_attr.rs │ │ ├── lib.rs │ │ ├── proof_plumber_api.rs │ │ ├── proof_plumber_api │ │ ├── inline_function_api.rs │ │ ├── proof_action_context.rs │ │ ├── run_fmt.rs │ │ ├── run_verus.rs │ │ ├── semantic_info.rs │ │ ├── verus_error.rs │ │ ├── vst_ext.rs │ │ └── vst_from_text.rs │ │ ├── tests.rs │ │ ├── tests │ │ └── generated.rs │ │ ├── utils.rs │ │ └── utils │ │ ├── gen_trait_fn_body.rs │ │ ├── ref_field_expr.rs │ │ └── suggest_name.rs ├── ide-completion │ ├── Cargo.toml │ └── src │ │ ├── completions.rs │ │ ├── completions │ │ ├── attribute.rs │ │ ├── attribute │ │ │ ├── cfg.rs │ │ │ ├── derive.rs │ │ │ ├── lint.rs │ │ │ ├── macro_use.rs │ │ │ └── repr.rs │ │ ├── dot.rs │ │ ├── env_vars.rs │ │ ├── expr.rs │ │ ├── extern_abi.rs │ │ ├── extern_crate.rs │ │ ├── field.rs │ │ ├── flyimport.rs │ │ ├── fn_param.rs │ │ ├── format_string.rs │ │ ├── item_list.rs │ │ ├── item_list │ │ │ └── trait_impl.rs │ │ ├── keyword.rs │ │ ├── lifetime.rs │ │ ├── mod_.rs │ │ ├── pattern.rs │ │ ├── postfix.rs │ │ ├── postfix │ │ │ └── format_like.rs │ │ ├── record.rs │ │ ├── snippet.rs │ │ ├── type.rs │ │ ├── use_.rs │ │ └── vis.rs │ │ ├── config.rs │ │ ├── context.rs │ │ ├── context │ │ ├── analysis.rs │ │ └── tests.rs │ │ ├── item.rs │ │ ├── lib.rs │ │ ├── render.rs │ │ ├── render │ │ ├── const_.rs │ │ ├── function.rs │ │ ├── literal.rs │ │ ├── macro_.rs │ │ ├── pattern.rs │ │ ├── type_alias.rs │ │ ├── union_literal.rs │ │ └── variant.rs │ │ ├── snippet.rs │ │ ├── tests.rs │ │ └── tests │ │ ├── attribute.rs │ │ ├── expression.rs │ │ ├── flyimport.rs │ │ ├── fn_param.rs │ │ ├── item.rs │ │ ├── item_list.rs │ │ ├── pattern.rs │ │ ├── predicate.rs │ │ ├── proc_macros.rs │ │ ├── record.rs │ │ ├── special.rs │ │ ├── type_pos.rs │ │ ├── use_tree.rs │ │ └── visibility.rs ├── ide-db │ ├── Cargo.toml │ └── src │ │ ├── active_parameter.rs │ │ ├── apply_change.rs │ │ ├── assists.rs │ │ ├── defs.rs │ │ ├── documentation.rs │ │ ├── famous_defs.rs │ │ ├── generated │ │ └── lints.rs │ │ ├── helpers.rs │ │ ├── imports │ │ ├── import_assets.rs │ │ ├── insert_use.rs │ │ ├── insert_use │ │ │ └── tests.rs │ │ └── merge_imports.rs │ │ ├── items_locator.rs │ │ ├── label.rs │ │ ├── lib.rs │ │ ├── path_transform.rs │ │ ├── prime_caches.rs │ │ ├── prime_caches │ │ └── topologic_sort.rs │ │ ├── rename.rs │ │ ├── rust_doc.rs │ │ ├── search.rs │ │ ├── source_change.rs │ │ ├── symbol_index.rs │ │ ├── syntax_helpers │ │ ├── format_string.rs │ │ ├── format_string_exprs.rs │ │ ├── insert_whitespace_into_node.rs │ │ └── node_ext.rs │ │ ├── test_data │ │ ├── test_doc_alias.txt │ │ └── test_symbol_index_collection.txt │ │ ├── traits.rs │ │ ├── ty_filter.rs │ │ └── use_trivial_constructor.rs ├── ide-diagnostics │ ├── Cargo.toml │ └── src │ │ ├── handlers │ │ ├── break_outside_of_loop.rs │ │ ├── expected_function.rs │ │ ├── field_shorthand.rs │ │ ├── inactive_code.rs │ │ ├── incoherent_impl.rs │ │ ├── incorrect_case.rs │ │ ├── invalid_derive_target.rs │ │ ├── json_is_not_rust.rs │ │ ├── macro_error.rs │ │ ├── malformed_derive.rs │ │ ├── mismatched_arg_count.rs │ │ ├── missing_fields.rs │ │ ├── missing_match_arms.rs │ │ ├── missing_unsafe.rs │ │ ├── moved_out_of_ref.rs │ │ ├── mutability_errors.rs │ │ ├── no_such_field.rs │ │ ├── non_exhaustive_let.rs │ │ ├── private_assoc_item.rs │ │ ├── private_field.rs │ │ ├── remove_trailing_return.rs │ │ ├── remove_unnecessary_else.rs │ │ ├── replace_filter_map_next_with_find_map.rs │ │ ├── trait_impl_incorrect_safety.rs │ │ ├── trait_impl_missing_assoc_item.rs │ │ ├── trait_impl_orphan.rs │ │ ├── trait_impl_redundant_assoc_item.rs │ │ ├── type_mismatch.rs │ │ ├── typed_hole.rs │ │ ├── undeclared_label.rs │ │ ├── unimplemented_builtin_macro.rs │ │ ├── unlinked_file.rs │ │ ├── unreachable_label.rs │ │ ├── unresolved_assoc_item.rs │ │ ├── unresolved_extern_crate.rs │ │ ├── unresolved_field.rs │ │ ├── unresolved_ident.rs │ │ ├── unresolved_import.rs │ │ ├── unresolved_macro_call.rs │ │ ├── unresolved_method.rs │ │ ├── unresolved_module.rs │ │ ├── unresolved_proc_macro.rs │ │ ├── unused_variables.rs │ │ └── useless_braces.rs │ │ ├── lib.rs │ │ └── tests.rs ├── ide-ssr │ ├── Cargo.toml │ └── src │ │ ├── errors.rs │ │ ├── fragments.rs │ │ ├── from_comment.rs │ │ ├── lib.rs │ │ ├── matching.rs │ │ ├── nester.rs │ │ ├── parsing.rs │ │ ├── replacing.rs │ │ ├── resolving.rs │ │ ├── search.rs │ │ └── tests.rs ├── ide │ ├── Cargo.toml │ └── src │ │ ├── annotations.rs │ │ ├── annotations │ │ └── fn_references.rs │ │ ├── call_hierarchy.rs │ │ ├── doc_links.rs │ │ ├── doc_links │ │ ├── intra_doc_links.rs │ │ └── tests.rs │ │ ├── expand_macro.rs │ │ ├── extend_selection.rs │ │ ├── fetch_crates.rs │ │ ├── file_structure.rs │ │ ├── fixture.rs │ │ ├── folding_ranges.rs │ │ ├── goto_declaration.rs │ │ ├── goto_definition.rs │ │ ├── goto_implementation.rs │ │ ├── goto_type_definition.rs │ │ ├── highlight_related.rs │ │ ├── hover.rs │ │ ├── hover │ │ ├── render.rs │ │ └── tests.rs │ │ ├── inlay_hints.rs │ │ ├── inlay_hints │ │ ├── adjustment.rs │ │ ├── bind_pat.rs │ │ ├── binding_mode.rs │ │ ├── chaining.rs │ │ ├── closing_brace.rs │ │ ├── closure_captures.rs │ │ ├── closure_ret.rs │ │ ├── discriminant.rs │ │ ├── fn_lifetime_fn.rs │ │ ├── implicit_drop.rs │ │ ├── implicit_static.rs │ │ ├── param_name.rs │ │ └── range_exclusive.rs │ │ ├── interpret_function.rs │ │ ├── join_lines.rs │ │ ├── lib.rs │ │ ├── markdown_remove.rs │ │ ├── markup.rs │ │ ├── matching_brace.rs │ │ ├── moniker.rs │ │ ├── move_item.rs │ │ ├── navigation_target.rs │ │ ├── parent_module.rs │ │ ├── references.rs │ │ ├── rename.rs │ │ ├── runnables.rs │ │ ├── shuffle_crate_graph.rs │ │ ├── signature_help.rs │ │ ├── ssr.rs │ │ ├── static_index.rs │ │ ├── status.rs │ │ ├── syntax_highlighting.rs │ │ ├── syntax_highlighting │ │ ├── escape.rs │ │ ├── format.rs │ │ ├── highlight.rs │ │ ├── highlights.rs │ │ ├── html.rs │ │ ├── inject.rs │ │ ├── injector.rs │ │ ├── macro_.rs │ │ ├── tags.rs │ │ ├── test_data │ │ │ ├── highlight_assoc_functions.html │ │ │ ├── highlight_attributes.html │ │ │ ├── highlight_block_mod_items.html │ │ │ ├── highlight_const.html │ │ │ ├── highlight_crate_root.html │ │ │ ├── highlight_default_library.html │ │ │ ├── highlight_doctest.html │ │ │ ├── highlight_extern_crate.html │ │ │ ├── highlight_general.html │ │ │ ├── highlight_injection.html │ │ │ ├── highlight_keywords.html │ │ │ ├── highlight_lifetimes.html │ │ │ ├── highlight_macros.html │ │ │ ├── highlight_module_docs_inline.html │ │ │ ├── highlight_module_docs_outline.html │ │ │ ├── highlight_operators.html │ │ │ ├── highlight_rainbow.html │ │ │ ├── highlight_strings.html │ │ │ └── highlight_unsafe.html │ │ └── tests.rs │ │ ├── syntax_tree.rs │ │ ├── test_explorer.rs │ │ ├── typing.rs │ │ ├── typing │ │ └── on_enter.rs │ │ ├── view_crate_graph.rs │ │ ├── view_hir.rs │ │ ├── view_item_tree.rs │ │ ├── view_memory_layout.rs │ │ └── view_mir.rs ├── intern │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── limit │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── load-cargo │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── mbe │ ├── Cargo.toml │ └── src │ │ ├── benchmark.rs │ │ ├── expander.rs │ │ ├── expander │ │ ├── matcher.rs │ │ └── transcriber.rs │ │ ├── lib.rs │ │ ├── parser.rs │ │ ├── syntax_bridge.rs │ │ ├── syntax_bridge │ │ └── tests.rs │ │ └── to_parser_input.rs ├── parser │ ├── Cargo.toml │ ├── src │ │ ├── edition.rs │ │ ├── event.rs │ │ ├── grammar.rs │ │ ├── grammar │ │ │ ├── attributes.rs │ │ │ ├── expressions.rs │ │ │ ├── expressions │ │ │ │ └── atom.rs │ │ │ ├── generic_args.rs │ │ │ ├── generic_params.rs │ │ │ ├── items.rs │ │ │ ├── items │ │ │ │ ├── adt.rs │ │ │ │ ├── consts.rs │ │ │ │ ├── traits.rs │ │ │ │ └── use_item.rs │ │ │ ├── params.rs │ │ │ ├── paths.rs │ │ │ ├── patterns.rs │ │ │ ├── types.rs │ │ │ └── verus.rs │ │ ├── input.rs │ │ ├── lexed_str.rs │ │ ├── lib.rs │ │ ├── output.rs │ │ ├── parser.rs │ │ ├── shortcuts.rs │ │ ├── syntax_kind.rs │ │ ├── syntax_kind │ │ │ └── generated.rs │ │ ├── tests.rs │ │ ├── tests │ │ │ ├── prefix_entries.rs │ │ │ ├── sourcegen_inline_tests.rs │ │ │ └── top_entries.rs │ │ └── token_set.rs │ └── test_data │ │ ├── lexer │ │ ├── err │ │ │ ├── byte_char_literals.rast │ │ │ ├── byte_char_literals.rs │ │ │ ├── byte_strings.rast │ │ │ ├── byte_strings.rs │ │ │ ├── c_strings.rast │ │ │ ├── c_strings.rs │ │ │ ├── char_literals.rast │ │ │ ├── char_literals.rs │ │ │ ├── empty_exponent.rast │ │ │ ├── empty_exponent.rs │ │ │ ├── empty_exponent.txt │ │ │ ├── empty_int.rast │ │ │ ├── empty_int.rs │ │ │ ├── empty_int.txt │ │ │ ├── lifetime_starts_with_a_number.rast │ │ │ ├── lifetime_starts_with_a_number.rs │ │ │ ├── lifetime_starts_with_a_number.txt │ │ │ ├── strings.rast │ │ │ ├── strings.rs │ │ │ ├── unclosed_block_comment_at_eof.rast │ │ │ ├── unclosed_block_comment_at_eof.rs │ │ │ ├── unclosed_block_comment_at_eof.txt │ │ │ ├── unclosed_block_comment_with_content.rast │ │ │ ├── unclosed_block_comment_with_content.rs │ │ │ ├── unclosed_block_comment_with_content.txt │ │ │ ├── unclosed_byte_at_eof.rast │ │ │ ├── unclosed_byte_at_eof.rs │ │ │ ├── unclosed_byte_at_eof.txt │ │ │ ├── unclosed_byte_string_at_eof.rast │ │ │ ├── unclosed_byte_string_at_eof.rs │ │ │ ├── unclosed_byte_string_at_eof.txt │ │ │ ├── unclosed_byte_string_with_ascii_escape.rast │ │ │ ├── unclosed_byte_string_with_ascii_escape.rs │ │ │ ├── unclosed_byte_string_with_ascii_escape.txt │ │ │ ├── unclosed_byte_string_with_ferris.rast │ │ │ ├── unclosed_byte_string_with_ferris.rs │ │ │ ├── unclosed_byte_string_with_ferris.txt │ │ │ ├── unclosed_byte_string_with_slash.rast │ │ │ ├── unclosed_byte_string_with_slash.rs │ │ │ ├── unclosed_byte_string_with_slash.txt │ │ │ ├── unclosed_byte_string_with_slash_double_quote.rast │ │ │ ├── unclosed_byte_string_with_slash_double_quote.rs │ │ │ ├── unclosed_byte_string_with_slash_double_quote.txt │ │ │ ├── unclosed_byte_string_with_slash_n.rast │ │ │ ├── unclosed_byte_string_with_slash_n.rs │ │ │ ├── unclosed_byte_string_with_slash_n.txt │ │ │ ├── unclosed_byte_string_with_space.rast │ │ │ ├── unclosed_byte_string_with_space.rs │ │ │ ├── unclosed_byte_string_with_space.txt │ │ │ ├── unclosed_byte_string_with_unicode_escape.rast │ │ │ ├── unclosed_byte_string_with_unicode_escape.rs │ │ │ ├── unclosed_byte_string_with_unicode_escape.txt │ │ │ ├── unclosed_byte_with_ascii_escape.rast │ │ │ ├── unclosed_byte_with_ascii_escape.rs │ │ │ ├── unclosed_byte_with_ascii_escape.txt │ │ │ ├── unclosed_byte_with_ferris.rast │ │ │ ├── unclosed_byte_with_ferris.rs │ │ │ ├── unclosed_byte_with_ferris.txt │ │ │ ├── unclosed_byte_with_slash.rast │ │ │ ├── unclosed_byte_with_slash.rs │ │ │ ├── unclosed_byte_with_slash.txt │ │ │ ├── unclosed_byte_with_slash_n.rast │ │ │ ├── unclosed_byte_with_slash_n.rs │ │ │ ├── unclosed_byte_with_slash_n.txt │ │ │ ├── unclosed_byte_with_slash_single_quote.rast │ │ │ ├── unclosed_byte_with_slash_single_quote.rs │ │ │ ├── unclosed_byte_with_slash_single_quote.txt │ │ │ ├── unclosed_byte_with_space.rast │ │ │ ├── unclosed_byte_with_space.rs │ │ │ ├── unclosed_byte_with_space.txt │ │ │ ├── unclosed_byte_with_unicode_escape.rast │ │ │ ├── unclosed_byte_with_unicode_escape.rs │ │ │ ├── unclosed_byte_with_unicode_escape.txt │ │ │ ├── unclosed_char_at_eof.rast │ │ │ ├── unclosed_char_at_eof.rs │ │ │ ├── unclosed_char_at_eof.txt │ │ │ ├── unclosed_char_with_ascii_escape.rast │ │ │ ├── unclosed_char_with_ascii_escape.rs │ │ │ ├── unclosed_char_with_ascii_escape.txt │ │ │ ├── unclosed_char_with_ferris.rast │ │ │ ├── unclosed_char_with_ferris.rs │ │ │ ├── unclosed_char_with_ferris.txt │ │ │ ├── unclosed_char_with_slash.rast │ │ │ ├── unclosed_char_with_slash.rs │ │ │ ├── unclosed_char_with_slash.txt │ │ │ ├── unclosed_char_with_slash_n.rast │ │ │ ├── unclosed_char_with_slash_n.rs │ │ │ ├── unclosed_char_with_slash_n.txt │ │ │ ├── unclosed_char_with_slash_single_quote.rast │ │ │ ├── unclosed_char_with_slash_single_quote.rs │ │ │ ├── unclosed_char_with_slash_single_quote.txt │ │ │ ├── unclosed_char_with_space.rast │ │ │ ├── unclosed_char_with_space.rs │ │ │ ├── unclosed_char_with_space.txt │ │ │ ├── unclosed_char_with_unicode_escape.rast │ │ │ ├── unclosed_char_with_unicode_escape.rs │ │ │ ├── unclosed_char_with_unicode_escape.txt │ │ │ ├── unclosed_nested_block_comment_entirely.rast │ │ │ ├── unclosed_nested_block_comment_entirely.rs │ │ │ ├── unclosed_nested_block_comment_entirely.txt │ │ │ ├── unclosed_nested_block_comment_partially.rast │ │ │ ├── unclosed_nested_block_comment_partially.rs │ │ │ ├── unclosed_nested_block_comment_partially.txt │ │ │ ├── unclosed_raw_byte_string_at_eof.rast │ │ │ ├── unclosed_raw_byte_string_at_eof.rs │ │ │ ├── unclosed_raw_byte_string_at_eof.txt │ │ │ ├── unclosed_raw_byte_string_with_ascii_escape.rast │ │ │ ├── unclosed_raw_byte_string_with_ascii_escape.rs │ │ │ ├── unclosed_raw_byte_string_with_ascii_escape.txt │ │ │ ├── unclosed_raw_byte_string_with_ferris.rast │ │ │ ├── unclosed_raw_byte_string_with_ferris.rs │ │ │ ├── unclosed_raw_byte_string_with_ferris.txt │ │ │ ├── unclosed_raw_byte_string_with_slash.rast │ │ │ ├── unclosed_raw_byte_string_with_slash.rs │ │ │ ├── unclosed_raw_byte_string_with_slash.txt │ │ │ ├── unclosed_raw_byte_string_with_slash_n.rast │ │ │ ├── unclosed_raw_byte_string_with_slash_n.rs │ │ │ ├── unclosed_raw_byte_string_with_slash_n.txt │ │ │ ├── unclosed_raw_byte_string_with_space.rast │ │ │ ├── unclosed_raw_byte_string_with_space.rs │ │ │ ├── unclosed_raw_byte_string_with_space.txt │ │ │ ├── unclosed_raw_byte_string_with_unicode_escape.rast │ │ │ ├── unclosed_raw_byte_string_with_unicode_escape.rs │ │ │ ├── unclosed_raw_byte_string_with_unicode_escape.txt │ │ │ ├── unclosed_raw_string_at_eof.rast │ │ │ ├── unclosed_raw_string_at_eof.rs │ │ │ ├── unclosed_raw_string_at_eof.txt │ │ │ ├── unclosed_raw_string_with_ascii_escape.rast │ │ │ ├── unclosed_raw_string_with_ascii_escape.rs │ │ │ ├── unclosed_raw_string_with_ascii_escape.txt │ │ │ ├── unclosed_raw_string_with_ferris.rast │ │ │ ├── unclosed_raw_string_with_ferris.rs │ │ │ ├── unclosed_raw_string_with_ferris.txt │ │ │ ├── unclosed_raw_string_with_slash.rast │ │ │ ├── unclosed_raw_string_with_slash.rs │ │ │ ├── unclosed_raw_string_with_slash.txt │ │ │ ├── unclosed_raw_string_with_slash_n.rast │ │ │ ├── unclosed_raw_string_with_slash_n.rs │ │ │ ├── unclosed_raw_string_with_slash_n.txt │ │ │ ├── unclosed_raw_string_with_space.rast │ │ │ ├── unclosed_raw_string_with_space.rs │ │ │ ├── unclosed_raw_string_with_space.txt │ │ │ ├── unclosed_raw_string_with_unicode_escape.rast │ │ │ ├── unclosed_raw_string_with_unicode_escape.rs │ │ │ ├── unclosed_raw_string_with_unicode_escape.txt │ │ │ ├── unclosed_string_at_eof.rast │ │ │ ├── unclosed_string_at_eof.rs │ │ │ ├── unclosed_string_at_eof.txt │ │ │ ├── unclosed_string_with_ascii_escape.rast │ │ │ ├── unclosed_string_with_ascii_escape.rs │ │ │ ├── unclosed_string_with_ascii_escape.txt │ │ │ ├── unclosed_string_with_ferris.rast │ │ │ ├── unclosed_string_with_ferris.rs │ │ │ ├── unclosed_string_with_ferris.txt │ │ │ ├── unclosed_string_with_slash.rast │ │ │ ├── unclosed_string_with_slash.rs │ │ │ ├── unclosed_string_with_slash.txt │ │ │ ├── unclosed_string_with_slash_double_quote.rast │ │ │ ├── unclosed_string_with_slash_double_quote.rs │ │ │ ├── unclosed_string_with_slash_double_quote.txt │ │ │ ├── unclosed_string_with_slash_n.rast │ │ │ ├── unclosed_string_with_slash_n.rs │ │ │ ├── unclosed_string_with_slash_n.txt │ │ │ ├── unclosed_string_with_space.rast │ │ │ ├── unclosed_string_with_space.rs │ │ │ ├── unclosed_string_with_space.txt │ │ │ ├── unclosed_string_with_unicode_escape.rast │ │ │ ├── unclosed_string_with_unicode_escape.rs │ │ │ ├── unclosed_string_with_unicode_escape.txt │ │ │ ├── unstarted_raw_byte_string_at_eof.rast │ │ │ ├── unstarted_raw_byte_string_at_eof.rs │ │ │ ├── unstarted_raw_byte_string_at_eof.txt │ │ │ ├── unstarted_raw_byte_string_with_ascii.rast │ │ │ ├── unstarted_raw_byte_string_with_ascii.rs │ │ │ ├── unstarted_raw_byte_string_with_ascii.txt │ │ │ ├── unstarted_raw_string_at_eof.rast │ │ │ ├── unstarted_raw_string_at_eof.rs │ │ │ ├── unstarted_raw_string_at_eof.txt │ │ │ ├── unstarted_raw_string_with_ascii.rast │ │ │ ├── unstarted_raw_string_with_ascii.rs │ │ │ └── unstarted_raw_string_with_ascii.txt │ │ └── ok │ │ │ ├── block_comment.rast │ │ │ ├── block_comment.rs │ │ │ ├── block_comment.txt │ │ │ ├── byte_strings.rast │ │ │ ├── byte_strings.rs │ │ │ ├── byte_strings.txt │ │ │ ├── chars.rast │ │ │ ├── chars.rs │ │ │ ├── chars.txt │ │ │ ├── hello.rast │ │ │ ├── hello.rs │ │ │ ├── hello.txt │ │ │ ├── ident.rast │ │ │ ├── ident.rs │ │ │ ├── ident.txt │ │ │ ├── keywords.rast │ │ │ ├── keywords.rs │ │ │ ├── keywords.txt │ │ │ ├── lifetimes.rast │ │ │ ├── lifetimes.rs │ │ │ ├── lifetimes.txt │ │ │ ├── numbers.rast │ │ │ ├── numbers.rs │ │ │ ├── numbers.txt │ │ │ ├── raw_ident.rast │ │ │ ├── raw_ident.rs │ │ │ ├── raw_ident.txt │ │ │ ├── raw_strings.rast │ │ │ ├── raw_strings.rs │ │ │ ├── raw_strings.txt │ │ │ ├── single_line_comments.rast │ │ │ ├── single_line_comments.rs │ │ │ ├── single_line_comments.txt │ │ │ ├── strings.rast │ │ │ ├── strings.rs │ │ │ ├── strings.txt │ │ │ ├── symbols.rast │ │ │ ├── symbols.rs │ │ │ ├── symbols.txt │ │ │ ├── whitespace.rast │ │ │ ├── whitespace.rs │ │ │ └── whitespace.txt │ │ └── parser │ │ ├── err │ │ ├── 0000_struct_field_missing_comma.rast │ │ ├── 0000_struct_field_missing_comma.rs │ │ ├── 0001_item_recovery_in_file.rast │ │ ├── 0001_item_recovery_in_file.rs │ │ ├── 0002_duplicate_shebang.rast │ │ ├── 0002_duplicate_shebang.rs │ │ ├── 0003_C++_semicolon.rast │ │ ├── 0003_C++_semicolon.rs │ │ ├── 0004_use_path_bad_segment.rast │ │ ├── 0004_use_path_bad_segment.rs │ │ ├── 0005_attribute_recover.rast │ │ ├── 0005_attribute_recover.rs │ │ ├── 0006_named_field_recovery.rast │ │ ├── 0006_named_field_recovery.rs │ │ ├── 0007_stray_curly_in_file.rast │ │ ├── 0007_stray_curly_in_file.rs │ │ ├── 0008_item_block_recovery.rast │ │ ├── 0008_item_block_recovery.rs │ │ ├── 0009_broken_struct_type_parameter.rast │ │ ├── 0009_broken_struct_type_parameter.rs │ │ ├── 0010_unsafe_lambda_block.rast │ │ ├── 0010_unsafe_lambda_block.rs │ │ ├── 0011_extern_struct.rast │ │ ├── 0011_extern_struct.rs │ │ ├── 0012_broken_lambda.rast │ │ ├── 0013_invalid_type.rast │ │ ├── 0013_invalid_type.rs │ │ ├── 0014_where_no_bounds.rast │ │ ├── 0014_where_no_bounds.rs │ │ ├── 0015_curly_in_params.rast │ │ ├── 0015_curly_in_params.rs │ │ ├── 0016_missing_semi.rast │ │ ├── 0016_missing_semi.rs │ │ ├── 0017_incomplete_binexpr.rast │ │ ├── 0017_incomplete_binexpr.rs │ │ ├── 0018_incomplete_fn.rast │ │ ├── 0018_incomplete_fn.rs │ │ ├── 0019_let_recover.rast │ │ ├── 0019_let_recover.rs │ │ ├── 0020_fn_recover.rast │ │ ├── 0020_fn_recover.rs │ │ ├── 0021_incomplete_param.rast │ │ ├── 0021_incomplete_param.rs │ │ ├── 0022_bad_exprs.rast │ │ ├── 0022_bad_exprs.rs │ │ ├── 0023_mismatched_paren.rast │ │ ├── 0023_mismatched_paren.rs │ │ ├── 0024_many_type_parens.rast │ │ ├── 0024_many_type_parens.rs │ │ ├── 0025_nope.rast │ │ ├── 0025_nope.rs │ │ ├── 0026_imp_recovery.rast │ │ ├── 0026_imp_recovery.rs │ │ ├── 0027_incomplete_where_for.rast │ │ ├── 0027_incomplete_where_for.rs │ │ ├── 0029_field_completion.rast │ │ ├── 0029_field_completion.rs │ │ ├── 0032_match_arms_inner_attrs.rast │ │ ├── 0032_match_arms_inner_attrs.rs │ │ ├── 0033_match_arms_outer_attrs.rast │ │ ├── 0033_match_arms_outer_attrs.rs │ │ ├── 0034_bad_box_pattern.rast │ │ ├── 0034_bad_box_pattern.rs │ │ ├── 0035_use_recover.rast │ │ ├── 0035_use_recover.rs │ │ ├── 0036_partial_use.rast │ │ ├── 0036_partial_use.rs │ │ ├── 0039_lambda_recovery.rast │ │ ├── 0039_lambda_recovery.rs │ │ ├── 0042_weird_blocks.rast │ │ ├── 0042_weird_blocks.rs │ │ ├── 0043_unexpected_for_type.rast │ │ ├── 0043_unexpected_for_type.rs │ │ ├── 0044_item_modifiers.rast │ │ ├── 0044_item_modifiers.rs │ │ ├── 0047_repeated_extern_modifier.rast │ │ ├── 0047_repeated_extern_modifier.rs │ │ ├── 0048_double_fish.rast │ │ ├── 0048_double_fish.rs │ │ ├── 0049_let_else_right_curly_brace_for.rast │ │ ├── 0049_let_else_right_curly_brace_for.rs │ │ ├── 0050_let_else_right_curly_brace_loop.rast │ │ ├── 0050_let_else_right_curly_brace_loop.rs │ │ ├── 0051_let_else_right_curly_brace_match.rast │ │ ├── 0051_let_else_right_curly_brace_match.rs │ │ ├── 0052_let_else_right_curly_brace_while.rast │ │ ├── 0052_let_else_right_curly_brace_while.rs │ │ ├── 0053_let_else_right_curly_brace_if.rast │ │ ├── 0053_let_else_right_curly_brace_if.rs │ │ ├── 0054_float_split_scientific_notation.rast │ │ └── 0054_float_split_scientific_notation.rs │ │ ├── inline │ │ ├── err │ │ │ ├── 0001_array_type_missing_semi.rast │ │ │ ├── 0001_array_type_missing_semi.rs │ │ │ ├── 0002_misplaced_label_err.rast │ │ │ ├── 0002_misplaced_label_err.rs │ │ │ ├── 0003_pointer_type_no_mutability.rast │ │ │ ├── 0003_pointer_type_no_mutability.rs │ │ │ ├── 0004_impl_type.rast │ │ │ ├── 0004_impl_type.rs │ │ │ ├── 0005_fn_pointer_type_missing_fn.rast │ │ │ ├── 0005_fn_pointer_type_missing_fn.rs │ │ │ ├── 0006_unsafe_block_in_mod.rast │ │ │ ├── 0006_unsafe_block_in_mod.rs │ │ │ ├── 0007_async_without_semicolon.rast │ │ │ ├── 0007_async_without_semicolon.rs │ │ │ ├── 0008_pub_expr.rast │ │ │ ├── 0008_pub_expr.rs │ │ │ ├── 0013_anonymous_static.rast │ │ │ ├── 0013_anonymous_static.rs │ │ │ ├── 0014_record_literal_before_ellipsis_recovery.rast │ │ │ ├── 0014_record_literal_before_ellipsis_recovery.rs │ │ │ ├── 0014_record_literal_missing_ellipsis_recovery.rast │ │ │ ├── 0014_record_literal_missing_ellipsis_recovery.rs │ │ │ ├── 0014_struct_field_recover.rast │ │ │ ├── 0014_struct_field_recover.rs │ │ │ ├── 0015_arg_list_recovery.rast │ │ │ ├── 0015_arg_list_recovery.rs │ │ │ ├── 0015_empty_segment.rast │ │ │ ├── 0015_empty_segment.rs │ │ │ ├── 0015_missing_fn_param_type.rast │ │ │ ├── 0015_missing_fn_param_type.rs │ │ │ ├── 0016_angled_path_without_qual.rast │ │ │ ├── 0016_angled_path_without_qual.rs │ │ │ ├── 0017_let_else_right_curly_brace.rast │ │ │ ├── 0017_let_else_right_curly_brace.rs │ │ │ ├── 0018_crate_visibility_empty_recover.rast │ │ │ ├── 0018_crate_visibility_empty_recover.rs │ │ │ ├── 0019_tuple_expr_leading_comma.rast │ │ │ ├── 0019_tuple_expr_leading_comma.rs │ │ │ ├── 0020_tuple_pat_leading_comma.rast │ │ │ ├── 0020_tuple_pat_leading_comma.rs │ │ │ ├── 0021_recover_from_missing_assoc_item_binding.rast │ │ │ ├── 0021_recover_from_missing_assoc_item_binding.rs │ │ │ ├── 0022_recover_from_missing_const_default.rast │ │ │ ├── 0022_recover_from_missing_const_default.rs │ │ │ ├── 0023_empty_param_slot.rast │ │ │ ├── 0023_empty_param_slot.rs │ │ │ ├── 0024_comma_after_functional_update_syntax.rast │ │ │ ├── 0024_comma_after_functional_update_syntax.rs │ │ │ ├── 0024_top_level_let.rast │ │ │ ├── 0024_top_level_let.rs │ │ │ ├── 0026_macro_rules_as_macro_name.rast │ │ │ ├── 0026_macro_rules_as_macro_name.rs │ │ │ ├── 0026_use_tree_list_err_recovery.rast │ │ │ ├── 0026_use_tree_list_err_recovery.rs │ │ │ ├── 0028_method_call_missing_argument_list.rast │ │ │ ├── 0028_method_call_missing_argument_list.rs │ │ │ ├── 0029_tuple_field_list_recovery.rast │ │ │ ├── 0029_tuple_field_list_recovery.rs │ │ │ ├── 0030_generic_arg_list_recover.rast │ │ │ ├── 0030_generic_arg_list_recover.rs │ │ │ ├── 0031_generic_param_list_recover.rast │ │ │ ├── 0031_generic_param_list_recover.rs │ │ │ ├── 0032_record_literal_field_eq_recovery.rast │ │ │ ├── 0032_record_literal_field_eq_recovery.rs │ │ │ ├── 0033_record_pat_field_eq_recovery.rast │ │ │ ├── 0033_record_pat_field_eq_recovery.rs │ │ │ ├── 0034_match_arms_recovery.rast │ │ │ └── 0034_match_arms_recovery.rs │ │ └── ok │ │ │ ├── 0002_use_tree_list.rast │ │ │ ├── 0002_use_tree_list.rs │ │ │ ├── 0003_where_pred_for.rast │ │ │ ├── 0003_where_pred_for.rs │ │ │ ├── 0004_value_parameters_no_patterns.rast │ │ │ ├── 0004_value_parameters_no_patterns.rs │ │ │ ├── 0005_function_type_params.rast │ │ │ ├── 0005_function_type_params.rs │ │ │ ├── 0006_self_param.rast │ │ │ ├── 0006_self_param.rs │ │ │ ├── 0007_type_param_bounds.rast │ │ │ ├── 0007_type_param_bounds.rs │ │ │ ├── 0008_path_part.rast │ │ │ ├── 0008_path_part.rs │ │ │ ├── 0009_loop_expr.rast │ │ │ ├── 0009_loop_expr.rs │ │ │ ├── 0010_extern_block.rast │ │ │ ├── 0010_extern_block.rs │ │ │ ├── 0011_field_expr.rast │ │ │ ├── 0011_field_expr.rs │ │ │ ├── 0012_type_item_where_clause.rast │ │ │ ├── 0012_type_item_where_clause.rs │ │ │ ├── 0013_pointer_type_mut.rast │ │ │ ├── 0013_pointer_type_mut.rs │ │ │ ├── 0014_never_type.rast │ │ │ ├── 0014_never_type.rs │ │ │ ├── 0015_continue_expr.rast │ │ │ ├── 0015_continue_expr.rs │ │ │ ├── 0017_array_type.rast │ │ │ ├── 0017_array_type.rs │ │ │ ├── 0018_arb_self_types.rast │ │ │ ├── 0018_arb_self_types.rs │ │ │ ├── 0019_unary_expr.rast │ │ │ ├── 0019_unary_expr.rs │ │ │ ├── 0021_assoc_item_list.rast │ │ │ ├── 0021_assoc_item_list.rs │ │ │ ├── 0022_crate_visibility.rast │ │ │ ├── 0022_crate_visibility.rs │ │ │ ├── 0023_placeholder_type.rast │ │ │ ├── 0023_placeholder_type.rs │ │ │ ├── 0024_slice_pat.rast │ │ │ ├── 0024_slice_pat.rs │ │ │ ├── 0025_slice_type.rast │ │ │ ├── 0025_slice_type.rs │ │ │ ├── 0026_tuple_pat_fields.rast │ │ │ ├── 0026_tuple_pat_fields.rs │ │ │ ├── 0027_ref_pat.rast │ │ │ ├── 0027_ref_pat.rs │ │ │ ├── 0028_impl_trait_type.rast │ │ │ ├── 0028_impl_trait_type.rs │ │ │ ├── 0029_cast_expr.rast │ │ │ ├── 0029_cast_expr.rs │ │ │ ├── 0030_let_expr.rast │ │ │ ├── 0030_let_expr.rs │ │ │ ├── 0031_while_expr.rast │ │ │ ├── 0031_while_expr.rs │ │ │ ├── 0032_fn_pointer_type.rast │ │ │ ├── 0032_fn_pointer_type.rs │ │ │ ├── 0033_reference_type;.rast │ │ │ ├── 0033_reference_type;.rs │ │ │ ├── 0034_break_expr.rast │ │ │ ├── 0034_break_expr.rs │ │ │ ├── 0037_qual_paths.rast │ │ │ ├── 0037_qual_paths.rs │ │ │ ├── 0038_full_range_expr.rast │ │ │ ├── 0038_full_range_expr.rs │ │ │ ├── 0041_trait_item.rast │ │ │ ├── 0041_trait_item.rs │ │ │ ├── 0042_call_expr.rast │ │ │ ├── 0042_call_expr.rs │ │ │ ├── 0044_block_items.rast │ │ │ ├── 0044_block_items.rs │ │ │ ├── 0045_param_list_opt_patterns.rast │ │ │ ├── 0045_param_list_opt_patterns.rs │ │ │ ├── 0046_singleton_tuple_type.rast │ │ │ ├── 0046_singleton_tuple_type.rs │ │ │ ├── 0048_path_type_with_bounds.rast │ │ │ ├── 0048_path_type_with_bounds.rs │ │ │ ├── 0050_fn_decl.rast │ │ │ ├── 0050_fn_decl.rs │ │ │ ├── 0051_unit_type.rast │ │ │ ├── 0051_unit_type.rs │ │ │ ├── 0052_path_type.rast │ │ │ ├── 0052_path_type.rs │ │ │ ├── 0053_path_expr.rast │ │ │ ├── 0053_path_expr.rs │ │ │ ├── 0054_record_field_attrs.rast │ │ │ ├── 0054_record_field_attrs.rs │ │ │ ├── 0055_literal_pattern.rast │ │ │ ├── 0055_literal_pattern.rs │ │ │ ├── 0056_where_clause.rast │ │ │ ├── 0056_where_clause.rs │ │ │ ├── 0058_range_pat.rast │ │ │ ├── 0058_range_pat.rs │ │ │ ├── 0059_match_arms_commas.rast │ │ │ ├── 0059_match_arms_commas.rs │ │ │ ├── 0060_extern_crate.rast │ │ │ ├── 0060_extern_crate.rs │ │ │ ├── 0061_record_lit.rast │ │ │ ├── 0061_record_lit.rs │ │ │ ├── 0062_mod_contents.rast │ │ │ ├── 0062_mod_contents.rs │ │ │ ├── 0063_impl_item_neg.rast │ │ │ ├── 0063_impl_item_neg.rs │ │ │ ├── 0064_if_expr.rast │ │ │ ├── 0064_if_expr.rs │ │ │ ├── 0065_dyn_trait_type.rast │ │ │ ├── 0065_dyn_trait_type.rs │ │ │ ├── 0066_match_arm.rast │ │ │ ├── 0066_match_arm.rs │ │ │ ├── 0067_crate_path.rast │ │ │ ├── 0067_crate_path.rs │ │ │ ├── 0070_stmt_bin_expr_ambiguity.rast │ │ │ ├── 0070_stmt_bin_expr_ambiguity.rs │ │ │ ├── 0071_match_expr.rast │ │ │ ├── 0071_match_expr.rs │ │ │ ├── 0072_return_expr.rast │ │ │ ├── 0072_return_expr.rs │ │ │ ├── 0073_type_item_type_params.rast │ │ │ ├── 0073_type_item_type_params.rs │ │ │ ├── 0074_stmt_postfix_expr_ambiguity.rast │ │ │ ├── 0074_stmt_postfix_expr_ambiguity.rs │ │ │ ├── 0075_block.rast │ │ │ ├── 0075_block.rs │ │ │ ├── 0076_function_where_clause.rast │ │ │ ├── 0076_function_where_clause.rs │ │ │ ├── 0077_try_expr.rast │ │ │ ├── 0077_try_expr.rs │ │ │ ├── 0078_type_alias.rast │ │ │ ├── 0078_type_alias.rs │ │ │ ├── 0079_impl_item.rast │ │ │ ├── 0079_impl_item.rs │ │ │ ├── 0080_postfix_range.rast │ │ │ ├── 0080_postfix_range.rs │ │ │ ├── 0081_for_type.rast │ │ │ ├── 0081_for_type.rs │ │ │ ├── 0082_ref_expr.rast │ │ │ ├── 0082_ref_expr.rs │ │ │ ├── 0083_struct_items.rast │ │ │ ├── 0084_paren_type.rast │ │ │ ├── 0084_paren_type.rs │ │ │ ├── 0085_expr_literals.rast │ │ │ ├── 0085_expr_literals.rs │ │ │ ├── 0086_function_ret_type.rast │ │ │ ├── 0086_function_ret_type.rs │ │ │ ├── 0088_break_ambiguity.rast │ │ │ ├── 0088_break_ambiguity.rs │ │ │ ├── 0090_type_param_default.rast │ │ │ ├── 0090_type_param_default.rs │ │ │ ├── 0092_fn_pointer_type_with_ret.rast │ │ │ ├── 0092_fn_pointer_type_with_ret.rs │ │ │ ├── 0093_index_expr.rast │ │ │ ├── 0093_index_expr.rs │ │ │ ├── 0095_placeholder_pat.rast │ │ │ ├── 0095_placeholder_pat.rs │ │ │ ├── 0096_no_semi_after_block.rast │ │ │ ├── 0096_no_semi_after_block.rs │ │ │ ├── 0099_param_list.rast │ │ │ ├── 0099_param_list.rs │ │ │ ├── 0100_for_expr.rast │ │ │ ├── 0100_for_expr.rs │ │ │ ├── 0102_record_pat_field_list.rast │ │ │ ├── 0102_record_pat_field_list.rs │ │ │ ├── 0103_array_expr.rast │ │ │ ├── 0103_array_expr.rs │ │ │ ├── 0104_path_fn_trait_args.rast │ │ │ ├── 0104_path_fn_trait_args.rs │ │ │ ├── 0106_lambda_expr.rast │ │ │ ├── 0106_lambda_expr.rs │ │ │ ├── 0107_method_call_expr.rast │ │ │ ├── 0107_method_call_expr.rs │ │ │ ├── 0108_tuple_expr.rast │ │ │ ├── 0108_tuple_expr.rs │ │ │ ├── 0109_label.rast │ │ │ ├── 0109_label.rs │ │ │ ├── 0111_tuple_pat.rast │ │ │ ├── 0111_tuple_pat.rs │ │ │ ├── 0112_bind_pat.rast │ │ │ ├── 0112_bind_pat.rs │ │ │ ├── 0113_nocontentexpr.rast │ │ │ ├── 0113_nocontentexpr.rs │ │ │ ├── 0114_tuple_struct_where.rast │ │ │ ├── 0114_tuple_struct_where.rs │ │ │ ├── 0115_tuple_field_attrs.rast │ │ │ ├── 0115_tuple_field_attrs.rs │ │ │ ├── 0117_macro_call_type.rast │ │ │ ├── 0117_macro_call_type.rs │ │ │ ├── 0118_match_guard.rast │ │ │ ├── 0118_match_guard.rs │ │ │ ├── 0120_match_arms_inner_attribute.rast │ │ │ ├── 0120_match_arms_inner_attribute.rs │ │ │ ├── 0121_match_arms_outer_attributes.rast │ │ │ ├── 0121_match_arms_outer_attributes.rs │ │ │ ├── 0123_param_list_vararg.rast │ │ │ ├── 0123_param_list_vararg.rs │ │ │ ├── 0125_record_literal_field_with_attr.rast │ │ │ ├── 0125_record_literal_field_with_attr.rs │ │ │ ├── 0126_attr_on_expr_stmt.rast │ │ │ ├── 0126_attr_on_expr_stmt.rs │ │ │ ├── 0129_marco_pat.rast │ │ │ ├── 0129_marco_pat.rs │ │ │ ├── 0130_let_stmt.rast │ │ │ ├── 0130_let_stmt.rs │ │ │ ├── 0130_try_block_expr.rast │ │ │ ├── 0130_try_block_expr.rs │ │ │ ├── 0131_existential_type.rast │ │ │ ├── 0131_existential_type.rs │ │ │ ├── 0134_nocontentexpr_after_item.rast │ │ │ ├── 0134_nocontentexpr_after_item.rs │ │ │ ├── 0137_await_expr.rast │ │ │ ├── 0137_await_expr.rs │ │ │ ├── 0138_associated_type_bounds.rast │ │ │ ├── 0138_associated_type_bounds.rs │ │ │ ├── 0138_expression_after_block.rast │ │ │ ├── 0138_expression_after_block.rs │ │ │ ├── 0138_self_param_outer_attr.rast │ │ │ ├── 0138_self_param_outer_attr.rs │ │ │ ├── 0139_param_outer_arg.rast │ │ │ ├── 0139_param_outer_arg.rs │ │ │ ├── 0142_for_range_from.rast │ │ │ ├── 0142_for_range_from.rs │ │ │ ├── 0143_box_pat.rast │ │ │ ├── 0143_box_pat.rs │ │ │ ├── 0144_dot_dot_pat.rast │ │ │ ├── 0144_dot_dot_pat.rs │ │ │ ├── 0145_record_pat_field.rast │ │ │ ├── 0145_record_pat_field.rs │ │ │ ├── 0146_as_precedence.rast │ │ │ ├── 0146_as_precedence.rs │ │ │ ├── 0147_const_param.rast │ │ │ ├── 0147_const_param.rs │ │ │ ├── 0147_macro_def.rast │ │ │ ├── 0147_macro_def.rs │ │ │ ├── 0150_array_attrs.rast │ │ │ ├── 0150_array_attrs.rs │ │ │ ├── 0150_impl_type_params.rast │ │ │ ├── 0150_impl_type_params.rs │ │ │ ├── 0151_fn.rast │ │ │ ├── 0151_fn.rs │ │ │ ├── 0151_trait_alias.rast │ │ │ ├── 0151_trait_alias.rs │ │ │ ├── 0152_arg_with_attr.rast │ │ │ ├── 0152_arg_with_attr.rs │ │ │ ├── 0153_pub_parens_typepath.rast │ │ │ ├── 0153_pub_parens_typepath.rs │ │ │ ├── 0154_fn_pointer_param_ident_path.rast │ │ │ ├── 0154_fn_pointer_param_ident_path.rs │ │ │ ├── 0154_no_dyn_trait_leading_for.rast │ │ │ ├── 0154_no_dyn_trait_leading_for.rs │ │ │ ├── 0154_tuple_attrs.rast │ │ │ ├── 0154_tuple_attrs.rs │ │ │ ├── 0155_closure_params.rast │ │ │ ├── 0155_closure_params.rs │ │ │ ├── 0156_const_block_pat.rast │ │ │ ├── 0156_const_block_pat.rs │ │ │ ├── 0156_fn_def_param.rast │ │ │ ├── 0156_fn_def_param.rs │ │ │ ├── 0156_or_pattern.rast │ │ │ ├── 0156_or_pattern.rs │ │ │ ├── 0157_fn_pointer_unnamed_arg.rast │ │ │ ├── 0157_fn_pointer_unnamed_arg.rs │ │ │ ├── 0157_variant_discriminant.rast │ │ │ ├── 0157_variant_discriminant.rs │ │ │ ├── 0158_binop_resets_statementness.rast │ │ │ ├── 0158_binop_resets_statementness.rs │ │ │ ├── 0158_lambda_ret_block.rast │ │ │ ├── 0158_lambda_ret_block.rs │ │ │ ├── 0158_macro_rules_non_brace.rast │ │ │ ├── 0158_macro_rules_non_brace.rs │ │ │ ├── 0159_try_macro_fallback.rast │ │ │ ├── 0159_try_macro_fallback.rs │ │ │ ├── 0159_yield_expr.rast │ │ │ ├── 0159_yield_expr.rs │ │ │ ├── 0160_crate_visibility_in.rast │ │ │ ├── 0160_crate_visibility_in.rs │ │ │ ├── 0160_try_macro_rules.rast │ │ │ ├── 0160_try_macro_rules.rs │ │ │ ├── 0161_impl_item_const.rast │ │ │ ├── 0161_impl_item_const.rs │ │ │ ├── 0161_labeled_block.rast │ │ │ ├── 0161_labeled_block.rs │ │ │ ├── 0162_default_async_unsafe_fn.rast │ │ │ ├── 0162_default_async_unsafe_fn.rs │ │ │ ├── 0163_default_async_fn.rast │ │ │ ├── 0163_default_async_fn.rs │ │ │ ├── 0163_default_unsafe_item.rast │ │ │ ├── 0163_default_unsafe_item.rs │ │ │ ├── 0164_default_item.rast │ │ │ ├── 0164_default_item.rs │ │ │ ├── 0164_type_path_in_pattern.rast │ │ │ ├── 0164_type_path_in_pattern.rs │ │ │ ├── 0166_half_open_range_pat.rast │ │ │ ├── 0166_half_open_range_pat.rs │ │ │ ├── 0168_extern_crate_rename.rast │ │ │ ├── 0168_extern_crate_rename.rs │ │ │ ├── 0168_extern_crate_self.rast │ │ │ ├── 0168_extern_crate_self.rs │ │ │ ├── 0169_mod_item.rast │ │ │ ├── 0169_mod_item.rs │ │ │ ├── 0170_mod_item_curly.rast │ │ │ ├── 0170_mod_item_curly.rs │ │ │ ├── 0170_tuple_struct.rast │ │ │ ├── 0170_tuple_struct.rs │ │ │ ├── 0171_struct_item.rast │ │ │ ├── 0171_struct_item.rs │ │ │ ├── 0172_const_item.rast │ │ │ ├── 0172_const_item.rs │ │ │ ├── 0172_record_field_list.rast │ │ │ ├── 0172_record_field_list.rs │ │ │ ├── 0173_anonymous_const.rast │ │ │ ├── 0173_anonymous_const.rs │ │ │ ├── 0173_macro_def_curly.rast │ │ │ ├── 0173_macro_def_curly.rs │ │ │ ├── 0173_union_item.rast │ │ │ ├── 0173_union_item.rs │ │ │ ├── 0174_trait_item_generic_params.rast │ │ │ ├── 0174_trait_item_generic_params.rs │ │ │ ├── 0174_unit_struct.rast │ │ │ ├── 0174_unit_struct.rs │ │ │ ├── 0174_use_tree_star.rast │ │ │ ├── 0174_use_tree_star.rs │ │ │ ├── 0175_trait_item_bounds.rast │ │ │ ├── 0175_trait_item_bounds.rs │ │ │ ├── 0176_trait_item_where_clause.rast │ │ │ ├── 0176_trait_item_where_clause.rs │ │ │ ├── 0176_use_tree_alias.rast │ │ │ ├── 0176_use_tree_alias.rs │ │ │ ├── 0177_assoc_item_list_inner_attrs.rast │ │ │ ├── 0177_assoc_item_list_inner_attrs.rs │ │ │ ├── 0177_trait_alias_where_clause.rast │ │ │ ├── 0177_trait_alias_where_clause.rs │ │ │ ├── 0177_use_tree.rast │ │ │ ├── 0177_use_tree.rs │ │ │ ├── 0177_use_tree_path.rast │ │ │ ├── 0177_use_tree_path.rs │ │ │ ├── 0178_use_tree_path_use_tree.rast │ │ │ ├── 0178_use_tree_path_use_tree.rs │ │ │ ├── 0179_use_tree_abs_star.rast │ │ │ ├── 0179_use_tree_abs_star.rs │ │ │ ├── 0180_use_tree_path_star.rast │ │ │ ├── 0180_use_tree_path_star.rs │ │ │ ├── 0181_generic_param_attribute.rast │ │ │ ├── 0181_generic_param_attribute.rs │ │ │ ├── 0181_use_item.rast │ │ │ ├── 0181_use_item.rs │ │ │ ├── 0182_lifetime_param.rast │ │ │ ├── 0182_lifetime_param.rs │ │ │ ├── 0183_const_arg_block.rast │ │ │ ├── 0183_const_arg_block.rs │ │ │ ├── 0183_type_param.rast │ │ │ ├── 0183_type_param.rs │ │ │ ├── 0184_const_arg.rast │ │ │ ├── 0184_const_arg.rs │ │ │ ├── 0184_generic_param_list.rast │ │ │ ├── 0184_generic_param_list.rs │ │ │ ├── 0185_assoc_type_bound.rast │ │ │ ├── 0185_assoc_type_bound.rs │ │ │ ├── 0186_lifetime_arg.rast │ │ │ ├── 0186_lifetime_arg.rs │ │ │ ├── 0187_assoc_type_eq.rast │ │ │ ├── 0187_assoc_type_eq.rs │ │ │ ├── 0188_const_param_default_path.rast │ │ │ ├── 0188_const_param_default_path.rs │ │ │ ├── 0189_const_arg_literal.rast │ │ │ ├── 0189_const_arg_literal.rs │ │ │ ├── 0190_generic_arg.rast │ │ │ ├── 0190_generic_arg.rs │ │ │ ├── 0191_const_arg_negative_number.rast │ │ │ ├── 0191_const_arg_negative_number.rs │ │ │ ├── 0192_const_arg_bool_literal.rast │ │ │ ├── 0192_const_arg_bool_literal.rs │ │ │ ├── 0193_let_stmt_init.rast │ │ │ ├── 0193_let_stmt_init.rs │ │ │ ├── 0194_let_else.rast │ │ │ ├── 0194_let_else.rs │ │ │ ├── 0194_let_stmt_ascription.rast │ │ │ ├── 0194_let_stmt_ascription.rs │ │ │ ├── 0194_macro_inside_generic_arg.rast │ │ │ ├── 0194_macro_inside_generic_arg.rs │ │ │ ├── 0196_pub_tuple_field.rast │ │ │ ├── 0196_pub_tuple_field.rs │ │ │ ├── 0197_destructuring_assignment_struct_rest_pattern.rast │ │ │ ├── 0197_destructuring_assignment_struct_rest_pattern.rs │ │ │ ├── 0198_destructuring_assignment_wildcard_pat.rast │ │ │ ├── 0198_destructuring_assignment_wildcard_pat.rs │ │ │ ├── 0199_const_param_default_expression.rast │ │ │ ├── 0199_const_param_default_expression.rs │ │ │ ├── 0199_effect_blocks.rast │ │ │ ├── 0199_effect_blocks.rs │ │ │ ├── 0199_type_item_where_clause_deprecated.rast │ │ │ ├── 0199_type_item_where_clause_deprecated.rs │ │ │ ├── 0200_assoc_const_eq.rast │ │ │ ├── 0200_assoc_const_eq.rs │ │ │ ├── 0200_const_param_default_literal.rast │ │ │ ├── 0200_const_param_default_literal.rs │ │ │ ├── 0201_question_for_type_trait_bound.rast │ │ │ ├── 0201_question_for_type_trait_bound.rs │ │ │ ├── 0202_typepathfn_with_coloncolon.rast │ │ │ ├── 0202_typepathfn_with_coloncolon.rs │ │ │ ├── 0203_closure_body_underscore_assignment.rast │ │ │ ├── 0203_closure_body_underscore_assignment.rs │ │ │ ├── 0204_yeet_expr.rast │ │ │ ├── 0204_yeet_expr.rs │ │ │ ├── 0205_const_closure.rast │ │ │ ├── 0205_const_closure.rs │ │ │ ├── 0207_builtin_expr.rast │ │ │ ├── 0207_builtin_expr.rs │ │ │ ├── 0207_exclusive_range_pat.rast │ │ │ ├── 0207_exclusive_range_pat.rs │ │ │ ├── 0208_associated_return_type_bounds.rast │ │ │ ├── 0208_associated_return_type_bounds.rs │ │ │ ├── 0208_bare_dyn_types_with_leading_lifetime.rast │ │ │ ├── 0208_bare_dyn_types_with_leading_lifetime.rs │ │ │ ├── 0208_closure_range_method_call.rast │ │ │ ├── 0208_closure_range_method_call.rs │ │ │ ├── 0208_macro_rules_as_macro_name.rast │ │ │ ├── 0208_macro_rules_as_macro_name.rs │ │ │ ├── 0209_bare_dyn_types_with_paren_as_generic_args.rast │ │ │ ├── 0209_bare_dyn_types_with_paren_as_generic_args.rs │ │ │ ├── 0209_become_expr.rast │ │ │ ├── 0209_become_expr.rs │ │ │ ├── 0211_async_trait_bound.rast │ │ │ ├── 0211_async_trait_bound.rs │ │ │ ├── 0212_const_trait_bound.rast │ │ │ ├── 0212_const_trait_bound.rs │ │ │ ├── 0213_metas.rast │ │ │ └── 0213_metas.rs │ │ └── ok │ │ ├── 0000_empty.rast │ │ ├── 0000_empty.rs │ │ ├── 0001_struct_item.rast │ │ ├── 0001_struct_item.rs │ │ ├── 0002_struct_item_field.rast │ │ ├── 0002_struct_item_field.rs │ │ ├── 0004_file_shebang.rast │ │ ├── 0004_file_shebang.rs │ │ ├── 0005_fn_item.rast │ │ ├── 0005_fn_item.rs │ │ ├── 0006_inner_attributes.rast │ │ ├── 0006_inner_attributes.rs │ │ ├── 0007_extern_crate.rast │ │ ├── 0007_extern_crate.rs │ │ ├── 0008_mod_item.rast │ │ ├── 0008_mod_item.rs │ │ ├── 0009_use_item.rast │ │ ├── 0009_use_item.rs │ │ ├── 0010_use_path_segments.rast │ │ ├── 0010_use_path_segments.rs │ │ ├── 0011_outer_attribute.rast │ │ ├── 0011_outer_attribute.rs │ │ ├── 0012_visibility.rast │ │ ├── 0012_visibility.rs │ │ ├── 0013_use_path_self_super.rast │ │ ├── 0013_use_path_self_super.rs │ │ ├── 0014_use_tree.rast │ │ ├── 0014_use_tree.rs │ │ ├── 0015_use_tree.rast │ │ ├── 0015_use_tree.rs │ │ ├── 0016_struct_flavors.rast │ │ ├── 0016_struct_flavors.rs │ │ ├── 0017_attr_trailing_comma.rast │ │ ├── 0017_attr_trailing_comma.rs │ │ ├── 0018_struct_type_params.rast │ │ ├── 0018_struct_type_params.rs │ │ ├── 0019_enums.rast │ │ ├── 0019_enums.rs │ │ ├── 0020_type_param_bounds.rast │ │ ├── 0020_type_param_bounds.rs │ │ ├── 0022_empty_extern_block.rast │ │ ├── 0022_empty_extern_block.rs │ │ ├── 0023_static_items.rast │ │ ├── 0023_static_items.rs │ │ ├── 0024_const_item.rast │ │ ├── 0024_const_item.rs │ │ ├── 0025_extern_fn_in_block.rast │ │ ├── 0025_extern_fn_in_block.rs │ │ ├── 0026_const_fn_in_block.rast │ │ ├── 0026_const_fn_in_block.rs │ │ ├── 0027_unsafe_fn_in_block.rast │ │ ├── 0027_unsafe_fn_in_block.rs │ │ ├── 0028_operator_binding_power.rast │ │ ├── 0028_operator_binding_power.rs │ │ ├── 0029_range_forms.rast │ │ ├── 0029_range_forms.rs │ │ ├── 0030_string_suffixes.rast │ │ ├── 0030_string_suffixes.rs │ │ ├── 0030_traits.rast │ │ ├── 0030_traits.rs │ │ ├── 0031_extern.rast │ │ ├── 0031_extern.rs │ │ ├── 0032_where_for.rast │ │ ├── 0032_where_for.rs │ │ ├── 0033_label_break.rast │ │ ├── 0033_label_break.rs │ │ ├── 0034_crate_path_in_call.rast │ │ ├── 0034_crate_path_in_call.rs │ │ ├── 0035_weird_exprs.rast │ │ ├── 0035_weird_exprs.rs │ │ ├── 0036_fully_qualified.rast │ │ ├── 0036_fully_qualified.rs │ │ ├── 0037_mod.rast │ │ ├── 0037_mod.rs │ │ ├── 0038_where_pred_type.rast │ │ ├── 0038_where_pred_type.rs │ │ ├── 0039_raw_fn_item.rast │ │ ├── 0039_raw_fn_item.rs │ │ ├── 0040_raw_struct_item_field.rast │ │ ├── 0040_raw_struct_item_field.rs │ │ ├── 0041_raw_keywords.rast │ │ ├── 0041_raw_keywords.rs │ │ ├── 0042_ufcs_call_list.rast │ │ ├── 0042_ufcs_call_list.rs │ │ ├── 0043_complex_assignment.rast │ │ ├── 0043_complex_assignment.rs │ │ ├── 0044_let_attrs.rast │ │ ├── 0044_let_attrs.rs │ │ ├── 0045_block_attrs.rast │ │ ├── 0045_block_attrs.rs │ │ ├── 0046_extern_inner_attributes.rast │ │ ├── 0046_extern_inner_attributes.rs │ │ ├── 0047_minus_in_inner_pattern.rast │ │ ├── 0047_minus_in_inner_pattern.rs │ │ ├── 0048_compound_assignment.rast │ │ ├── 0048_compound_assignment.rs │ │ ├── 0049_async_block.rast │ │ ├── 0049_async_block.rs │ │ ├── 0050_async_block_as_argument.rast │ │ ├── 0050_async_block_as_argument.rs │ │ ├── 0051_parameter_attrs.rast │ │ ├── 0051_parameter_attrs.rs │ │ ├── 0052_for_range_block.rast │ │ ├── 0052_for_range_block.rs │ │ ├── 0053_outer_attribute_on_macro_rules.rast │ │ ├── 0053_outer_attribute_on_macro_rules.rs │ │ ├── 0054_qual_path_in_type_arg.rast │ │ ├── 0054_qual_path_in_type_arg.rs │ │ ├── 0055_dot_dot_dot.rast │ │ ├── 0055_dot_dot_dot.rs │ │ ├── 0056_neq_in_type.rast │ │ ├── 0056_neq_in_type.rs │ │ ├── 0057_loop_in_call.rast │ │ ├── 0057_loop_in_call.rs │ │ ├── 0058_unary_expr_precedence.rast │ │ ├── 0058_unary_expr_precedence.rs │ │ ├── 0059_loops_in_parens.rast │ │ ├── 0059_loops_in_parens.rs │ │ ├── 0060_as_range.rast │ │ ├── 0060_as_range.rs │ │ ├── 0061_match_full_range.rast │ │ ├── 0061_match_full_range.rs │ │ ├── 0062_macro_2.0.rast │ │ ├── 0062_macro_2.0.rs │ │ ├── 0063_trait_fn_patterns.rast │ │ ├── 0063_trait_fn_patterns.rs │ │ ├── 0063_variadic_fun.rast │ │ ├── 0063_variadic_fun.rs │ │ ├── 0064_impl_fn_params.rast │ │ ├── 0064_impl_fn_params.rs │ │ ├── 0065_comment_newline.rast │ │ ├── 0065_comment_newline.rs │ │ ├── 0065_plus_after_fn_trait_bound.rast │ │ ├── 0065_plus_after_fn_trait_bound.rs │ │ ├── 0066_default_modifier.rast │ │ ├── 0066_default_modifier.rs │ │ ├── 0067_where_for_pred.rast │ │ ├── 0067_where_for_pred.rs │ │ ├── 0068_item_modifiers.rast │ │ ├── 0068_item_modifiers.rs │ │ ├── 0069_multi_trait_object.rast │ │ ├── 0069_multi_trait_object.rs │ │ ├── 0070_expr_attr_placement.rast │ │ ├── 0070_expr_attr_placement.rs │ │ ├── 0071_stmt_attr_placement.rast │ │ ├── 0071_stmt_attr_placement.rs │ │ ├── 0072_destructuring_assignment.rast │ │ └── 0072_destructuring_assignment.rs ├── paths │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── proc-macro-api │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ ├── msg.rs │ │ ├── msg │ │ └── flat.rs │ │ ├── process.rs │ │ └── version.rs ├── proc-macro-srv-cli │ ├── Cargo.toml │ ├── build.rs │ └── src │ │ └── main.rs ├── proc-macro-srv │ ├── Cargo.toml │ ├── build.rs │ ├── proc-macro-test │ │ ├── Cargo.toml │ │ ├── build.rs │ │ ├── imp │ │ │ ├── .gitignore │ │ │ ├── Cargo.toml │ │ │ ├── build.rs │ │ │ └── src │ │ │ │ └── lib.rs │ │ └── src │ │ │ └── lib.rs │ └── src │ │ ├── dylib.rs │ │ ├── lib.rs │ │ ├── proc_macros.rs │ │ ├── server.rs │ │ ├── server │ │ ├── rust_analyzer_span.rs │ │ ├── symbol.rs │ │ ├── token_id.rs │ │ └── token_stream.rs │ │ └── tests │ │ ├── mod.rs │ │ └── utils.rs ├── profile │ ├── Cargo.toml │ └── src │ │ ├── google_cpu_profiler.rs │ │ ├── lib.rs │ │ ├── memory_usage.rs │ │ └── stop_watch.rs ├── project-model │ ├── Cargo.toml │ ├── src │ │ ├── build_scripts.rs │ │ ├── cargo_workspace.rs │ │ ├── cfg.rs │ │ ├── env.rs │ │ ├── lib.rs │ │ ├── manifest_path.rs │ │ ├── project_json.rs │ │ ├── rustc_cfg.rs │ │ ├── sysroot.rs │ │ ├── target_data_layout.rs │ │ ├── tests.rs │ │ └── workspace.rs │ └── test_data │ │ ├── fake-sysroot │ │ ├── alloc │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── core │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── panic_abort │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── panic_unwind │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── proc_macro │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── profiler_builtins │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── std │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── stdarch │ │ │ └── crates │ │ │ │ └── std_detect │ │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── term │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── test │ │ │ └── src │ │ │ │ └── lib.rs │ │ └── unwind │ │ │ └── src │ │ │ └── lib.rs │ │ ├── hello-world-metadata.json │ │ ├── hello-world-project.json │ │ ├── is-proc-macro-project.json │ │ ├── output │ │ ├── cargo_hello_world_project_model.txt │ │ ├── cargo_hello_world_project_model_with_selective_overrides.txt │ │ ├── cargo_hello_world_project_model_with_wildcard_overrides.txt │ │ └── rust_project_hello_world_project_model.txt │ │ ├── regex-metadata.json │ │ └── ripgrep-metadata.json ├── rust-analyzer │ ├── Cargo.toml │ ├── build.rs │ ├── src │ │ ├── bin │ │ │ ├── main.rs │ │ │ └── rustc_wrapper.rs │ │ ├── caps.rs │ │ ├── cli.rs │ │ ├── cli │ │ │ ├── analysis_stats.rs │ │ │ ├── diagnostics.rs │ │ │ ├── flags.rs │ │ │ ├── highlight.rs │ │ │ ├── lsif.rs │ │ │ ├── parse.rs │ │ │ ├── progress_report.rs │ │ │ ├── run_tests.rs │ │ │ ├── rustc_tests.rs │ │ │ ├── scip.rs │ │ │ ├── ssr.rs │ │ │ └── symbols.rs │ │ ├── config.rs │ │ ├── config │ │ │ └── patch_old_style.rs │ │ ├── diagnostics.rs │ │ ├── diagnostics │ │ │ ├── test_data │ │ │ │ ├── clippy_pass_by_ref.txt │ │ │ │ ├── handles_macro_location.txt │ │ │ │ ├── macro_compiler_error.txt │ │ │ │ ├── reasonable_line_numbers_from_empty_file.txt │ │ │ │ ├── rustc_incompatible_type_for_trait.txt │ │ │ │ ├── rustc_mismatched_type.txt │ │ │ │ ├── rustc_range_map_lsp_position.txt │ │ │ │ ├── rustc_unused_variable.txt │ │ │ │ ├── rustc_unused_variable_as_hint.txt │ │ │ │ ├── rustc_unused_variable_as_info.txt │ │ │ │ ├── rustc_wrong_number_of_parameters.txt │ │ │ │ └── snap_multi_line_fix.txt │ │ │ └── to_proto.rs │ │ ├── diff.rs │ │ ├── dispatch.rs │ │ ├── global_state.rs │ │ ├── hack_recover_crate_name.rs │ │ ├── handlers │ │ │ ├── notification.rs │ │ │ └── request.rs │ │ ├── integrated_benchmarks.rs │ │ ├── lib.rs │ │ ├── line_index.rs │ │ ├── lsp.rs │ │ ├── lsp │ │ │ ├── ext.rs │ │ │ ├── from_proto.rs │ │ │ ├── semantic_tokens.rs │ │ │ ├── to_proto.rs │ │ │ └── utils.rs │ │ ├── main_loop.rs │ │ ├── mem_docs.rs │ │ ├── op_queue.rs │ │ ├── reload.rs │ │ ├── target_spec.rs │ │ ├── task_pool.rs │ │ ├── tracing │ │ │ ├── config.rs │ │ │ └── hprof.rs │ │ ├── version.rs │ │ └── verus_interaction.rs │ └── tests │ │ ├── crate_graph.rs │ │ ├── slow-tests │ │ ├── main.rs │ │ ├── ratoml.rs │ │ ├── sourcegen.rs │ │ ├── support.rs │ │ ├── testdir.rs │ │ └── tidy.rs │ │ └── test_data │ │ ├── deduplication_crate_graph_A.json │ │ └── deduplication_crate_graph_B.json ├── salsa │ ├── Cargo.toml │ ├── FAQ.md │ ├── LICENSE-APACHE │ ├── LICENSE-MIT │ ├── README.md │ ├── salsa-macros │ │ ├── Cargo.toml │ │ ├── LICENSE-APACHE │ │ ├── LICENSE-MIT │ │ ├── README.md │ │ └── src │ │ │ ├── database_storage.rs │ │ │ ├── lib.rs │ │ │ ├── parenthesized.rs │ │ │ └── query_group.rs │ ├── src │ │ ├── debug.rs │ │ ├── derived.rs │ │ ├── derived │ │ │ └── slot.rs │ │ ├── durability.rs │ │ ├── hash.rs │ │ ├── input.rs │ │ ├── intern_id.rs │ │ ├── interned.rs │ │ ├── lib.rs │ │ ├── lru.rs │ │ ├── plumbing.rs │ │ ├── revision.rs │ │ ├── runtime.rs │ │ ├── runtime │ │ │ ├── dependency_graph.rs │ │ │ └── local_state.rs │ │ └── storage.rs │ └── tests │ │ ├── cycles.rs │ │ ├── dyn_trait.rs │ │ ├── incremental │ │ ├── constants.rs │ │ ├── counter.rs │ │ ├── implementation.rs │ │ ├── log.rs │ │ ├── main.rs │ │ ├── memoized_dep_inputs.rs │ │ ├── memoized_inputs.rs │ │ └── memoized_volatile.rs │ │ ├── interned.rs │ │ ├── lru.rs │ │ ├── macros.rs │ │ ├── no_send_sync.rs │ │ ├── on_demand_inputs.rs │ │ ├── panic_safely.rs │ │ ├── parallel │ │ ├── cancellation.rs │ │ ├── frozen.rs │ │ ├── independent.rs │ │ ├── main.rs │ │ ├── parallel_cycle_all_recover.rs │ │ ├── parallel_cycle_mid_recover.rs │ │ ├── parallel_cycle_none_recover.rs │ │ ├── parallel_cycle_one_recovers.rs │ │ ├── race.rs │ │ ├── setup.rs │ │ ├── signal.rs │ │ ├── stress.rs │ │ └── true_parallel.rs │ │ ├── storage_varieties │ │ ├── implementation.rs │ │ ├── main.rs │ │ ├── queries.rs │ │ └── tests.rs │ │ ├── transparent.rs │ │ └── variadic.rs ├── sourcegen │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── span │ ├── Cargo.toml │ └── src │ │ ├── ast_id.rs │ │ ├── hygiene.rs │ │ ├── lib.rs │ │ └── map.rs ├── stdx │ ├── Cargo.toml │ └── src │ │ ├── anymap.rs │ │ ├── lib.rs │ │ ├── macros.rs │ │ ├── non_empty_vec.rs │ │ ├── panic_context.rs │ │ ├── process.rs │ │ ├── rand.rs │ │ ├── thread.rs │ │ └── thread │ │ ├── intent.rs │ │ └── pool.rs ├── syntax │ ├── Cargo.toml │ ├── fuzz │ │ ├── .gitignore │ │ ├── Cargo.toml │ │ └── fuzz_targets │ │ │ ├── parser.rs │ │ │ └── reparse.rs │ ├── rust.ungram │ ├── src │ │ ├── algo.rs │ │ ├── ast.rs │ │ ├── ast │ │ │ ├── edit.rs │ │ │ ├── edit_in_place.rs │ │ │ ├── expr_ext.rs │ │ │ ├── generated.rs │ │ │ ├── generated │ │ │ │ ├── nodes.rs │ │ │ │ ├── tokens.rs │ │ │ │ └── vst_nodes.rs │ │ │ ├── make.rs │ │ │ ├── node_ext.rs │ │ │ ├── operators.rs │ │ │ ├── prec.rs │ │ │ ├── token_ext.rs │ │ │ ├── traits.rs │ │ │ └── vst.rs │ │ ├── fuzz.rs │ │ ├── hacks.rs │ │ ├── lib.rs │ │ ├── parsing.rs │ │ ├── parsing │ │ │ └── reparsing.rs │ │ ├── ptr.rs │ │ ├── syntax_error.rs │ │ ├── syntax_node.rs │ │ ├── ted.rs │ │ ├── tests.rs │ │ ├── token_text.rs │ │ ├── utils.rs │ │ ├── validation.rs │ │ └── validation │ │ │ └── block.rs │ └── test_data │ │ ├── parser │ │ ├── fuzz-failures │ │ │ ├── 0000.rs │ │ │ ├── 0001.rs │ │ │ ├── 0002.rs │ │ │ ├── 0003.rs │ │ │ └── 0004.rs │ │ └── validation │ │ │ ├── 0031_block_inner_attrs.rast │ │ │ ├── 0031_block_inner_attrs.rs │ │ │ ├── 0037_visibility_in_traits.rast │ │ │ ├── 0037_visibility_in_traits.rs │ │ │ ├── 0038_endless_inclusive_range.rast │ │ │ ├── 0038_endless_inclusive_range.rs │ │ │ ├── 0040_illegal_crate_kw_location.rast │ │ │ ├── 0040_illegal_crate_kw_location.rs │ │ │ ├── 0041_illegal_self_keyword_location.rast │ │ │ ├── 0041_illegal_self_keyword_location.rs │ │ │ ├── 0045_ambiguous_trait_object.rast │ │ │ ├── 0045_ambiguous_trait_object.rs │ │ │ ├── 0046_mutable_const_item.rast │ │ │ ├── 0046_mutable_const_item.rs │ │ │ ├── invalid_let_expr.rast │ │ │ └── invalid_let_expr.rs │ │ └── reparse │ │ └── fuzz-failures │ │ ├── 0000.rs │ │ ├── 0001.rs │ │ ├── 0002.rs │ │ ├── 0003.rs │ │ ├── 0004.rs │ │ └── 0005.rs ├── test-fixture │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── test-utils │ ├── Cargo.toml │ └── src │ │ ├── assert_linear.rs │ │ ├── bench_fixture.rs │ │ ├── fixture.rs │ │ ├── lib.rs │ │ └── minicore.rs ├── text-edit │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── toolchain │ ├── Cargo.toml │ └── src │ │ └── lib.rs ├── tt │ ├── Cargo.toml │ └── src │ │ ├── buffer.rs │ │ ├── iter.rs │ │ └── lib.rs ├── va-test │ ├── Cargo.toml │ ├── examples │ │ ├── misc-parsing │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── prost-build-bug │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── schemars-bug │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── storage-macros │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── lib.rs │ │ ├── storage │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── syntax │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ ├── trigger-bug │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ │ └── main.rs │ │ └── vstd-dep │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ └── main.rs │ └── src │ │ └── main.rs ├── vfs-notify │ ├── Cargo.toml │ └── src │ │ └── lib.rs └── vfs │ ├── Cargo.toml │ └── src │ ├── anchored_path.rs │ ├── file_set.rs │ ├── file_set │ └── tests.rs │ ├── lib.rs │ ├── loader.rs │ ├── path_interner.rs │ ├── vfs_path.rs │ └── vfs_path │ └── tests.rs ├── demo.gif ├── docs ├── dev │ ├── README.md │ ├── architecture.md │ ├── debugging.md │ ├── guide.md │ ├── lsp-extensions.md │ ├── style.md │ └── syntax.md └── user │ ├── .gitignore │ ├── generated_config.adoc │ └── manual.adoc ├── editors └── code │ ├── .eslintignore │ ├── .eslintrc.js │ ├── .gitignore │ ├── .prettierignore │ ├── .prettierrc.js │ ├── .vscodeignore │ ├── LICENSE │ ├── README.md │ ├── icon.png │ ├── language-configuration.json │ ├── package-lock.json │ ├── package.json │ ├── ra_syntax_tree.tmGrammar.json │ ├── src │ ├── ast_inspector.ts │ ├── bootstrap.ts │ ├── client.ts │ ├── commands.ts │ ├── config.ts │ ├── ctx.ts │ ├── debug.ts │ ├── dependencies_provider.ts │ ├── diagnostics.ts │ ├── lang_client.ts │ ├── lsp_ext.ts │ ├── main.ts │ ├── persistent_state.ts │ ├── run.ts │ ├── rust_project.ts │ ├── snippets.ts │ ├── tasks.ts │ ├── test_explorer.ts │ ├── toolchain.ts │ └── util.ts │ ├── tests │ ├── runTests.ts │ └── unit │ │ ├── index.ts │ │ ├── launch_config.test.ts │ │ ├── runnable_env.test.ts │ │ └── settings.test.ts │ ├── tsconfig.eslint.json │ └── tsconfig.json ├── lib ├── README.md ├── la-arena │ ├── Cargo.toml │ └── src │ │ ├── lib.rs │ │ └── map.rs ├── line-index │ ├── Cargo.toml │ ├── README.md │ └── src │ │ ├── lib.rs │ │ └── tests.rs └── lsp-server │ ├── Cargo.toml │ ├── LICENSE-APACHE │ ├── LICENSE-MIT │ ├── examples │ └── goto_def.rs │ └── src │ ├── error.rs │ ├── lib.rs │ ├── msg.rs │ ├── req_queue.rs │ ├── socket.rs │ └── stdio.rs ├── rust-bors.toml ├── rust-version ├── rustfmt.toml ├── triagebot.toml └── xtask ├── Cargo.toml ├── src ├── codegen.rs ├── codegen │ ├── assists_doc_tests.rs │ ├── diagnostics_docs.rs │ ├── grammar.rs │ ├── grammar │ │ ├── ast_src.rs │ │ └── sourcegen_vst.rs │ └── lints.rs ├── dist.rs ├── flags.rs ├── install.rs ├── main.rs ├── metrics.rs ├── publish.rs ├── publish │ └── notes.rs ├── release.rs └── release │ └── changelog.rs └── test_data ├── expected.md └── input.adoc /.cargo/config.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.cargo/config.toml -------------------------------------------------------------------------------- /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.editorconfig -------------------------------------------------------------------------------- /.git-blame-ignore-revs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.git-blame-ignore-revs -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/question.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/ISSUE_TEMPLATE/question.md -------------------------------------------------------------------------------- /.github/actions/github-release/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/actions/github-release/Dockerfile -------------------------------------------------------------------------------- /.github/actions/github-release/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/actions/github-release/README.md -------------------------------------------------------------------------------- /.github/actions/github-release/action.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/actions/github-release/action.yml -------------------------------------------------------------------------------- /.github/actions/github-release/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/actions/github-release/main.js -------------------------------------------------------------------------------- /.github/actions/github-release/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/actions/github-release/package.json -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/rust.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/rust.json -------------------------------------------------------------------------------- /.github/workflows/ci.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/workflows/ci.yaml -------------------------------------------------------------------------------- /.github/workflows/release.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/workflows/release.yaml -------------------------------------------------------------------------------- /.github/workflows/verus.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.github/workflows/verus.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.gitignore -------------------------------------------------------------------------------- /.typos.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.typos.toml -------------------------------------------------------------------------------- /.vscode/extensions.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.vscode/extensions.json -------------------------------------------------------------------------------- /.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.vscode/launch.json -------------------------------------------------------------------------------- /.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/.vscode/tasks.json -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/LICENSE-APACHE -------------------------------------------------------------------------------- /LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/LICENSE-MIT -------------------------------------------------------------------------------- /PRIVACY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/PRIVACY.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/README.md -------------------------------------------------------------------------------- /assets/logo-square.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/assets/logo-square.svg -------------------------------------------------------------------------------- /assets/logo-wide.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/assets/logo-wide.svg -------------------------------------------------------------------------------- /bench_data/glorious_old_parser: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/bench_data/glorious_old_parser -------------------------------------------------------------------------------- /bench_data/numerous_macro_rules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/bench_data/numerous_macro_rules -------------------------------------------------------------------------------- /clippy.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/clippy.toml -------------------------------------------------------------------------------- /crates/base-db/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/base-db/Cargo.toml -------------------------------------------------------------------------------- /crates/base-db/src/change.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/base-db/src/change.rs -------------------------------------------------------------------------------- /crates/base-db/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/base-db/src/input.rs -------------------------------------------------------------------------------- /crates/base-db/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/base-db/src/lib.rs -------------------------------------------------------------------------------- /crates/cfg/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/cfg/Cargo.toml -------------------------------------------------------------------------------- /crates/cfg/src/cfg_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/cfg/src/cfg_expr.rs -------------------------------------------------------------------------------- /crates/cfg/src/dnf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/cfg/src/dnf.rs -------------------------------------------------------------------------------- /crates/cfg/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/cfg/src/lib.rs -------------------------------------------------------------------------------- /crates/cfg/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/cfg/src/tests.rs -------------------------------------------------------------------------------- /crates/flycheck/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/flycheck/Cargo.toml -------------------------------------------------------------------------------- /crates/flycheck/src/command.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/flycheck/src/command.rs -------------------------------------------------------------------------------- /crates/flycheck/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/flycheck/src/lib.rs -------------------------------------------------------------------------------- /crates/flycheck/src/test_runner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/flycheck/src/test_runner.rs -------------------------------------------------------------------------------- /crates/hir-def/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/Cargo.toml -------------------------------------------------------------------------------- /crates/hir-def/src/attr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/attr.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body/lower.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body/pretty.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body/scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body/scope.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body/tests.rs -------------------------------------------------------------------------------- /crates/hir-def/src/body/tests/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/body/tests/block.rs -------------------------------------------------------------------------------- /crates/hir-def/src/builtin_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/builtin_type.rs -------------------------------------------------------------------------------- /crates/hir-def/src/child_by_source.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/child_by_source.rs -------------------------------------------------------------------------------- /crates/hir-def/src/data.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/data.rs -------------------------------------------------------------------------------- /crates/hir-def/src/data/adt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/data/adt.rs -------------------------------------------------------------------------------- /crates/hir-def/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/db.rs -------------------------------------------------------------------------------- /crates/hir-def/src/dyn_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/dyn_map.rs -------------------------------------------------------------------------------- /crates/hir-def/src/dyn_map/keys.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/dyn_map/keys.rs -------------------------------------------------------------------------------- /crates/hir-def/src/expander.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/expander.rs -------------------------------------------------------------------------------- /crates/hir-def/src/find_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/find_path.rs -------------------------------------------------------------------------------- /crates/hir-def/src/generics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/generics.rs -------------------------------------------------------------------------------- /crates/hir-def/src/hir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/hir.rs -------------------------------------------------------------------------------- /crates/hir-def/src/hir/format_args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/hir/format_args.rs -------------------------------------------------------------------------------- /crates/hir-def/src/hir/type_ref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/hir/type_ref.rs -------------------------------------------------------------------------------- /crates/hir-def/src/import_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/import_map.rs -------------------------------------------------------------------------------- /crates/hir-def/src/item_scope.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/item_scope.rs -------------------------------------------------------------------------------- /crates/hir-def/src/item_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/item_tree.rs -------------------------------------------------------------------------------- /crates/hir-def/src/item_tree/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/item_tree/lower.rs -------------------------------------------------------------------------------- /crates/hir-def/src/item_tree/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/item_tree/pretty.rs -------------------------------------------------------------------------------- /crates/hir-def/src/item_tree/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/item_tree/tests.rs -------------------------------------------------------------------------------- /crates/hir-def/src/lang_item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/lang_item.rs -------------------------------------------------------------------------------- /crates/hir-def/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/lib.rs -------------------------------------------------------------------------------- /crates/hir-def/src/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/lower.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/collector.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/collector.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/diagnostics.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/proc_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/proc_macro.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/tests.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/tests/globs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/tests/globs.rs -------------------------------------------------------------------------------- /crates/hir-def/src/nameres/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/nameres/tests/macros.rs -------------------------------------------------------------------------------- /crates/hir-def/src/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/path.rs -------------------------------------------------------------------------------- /crates/hir-def/src/path/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/path/lower.rs -------------------------------------------------------------------------------- /crates/hir-def/src/per_ns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/per_ns.rs -------------------------------------------------------------------------------- /crates/hir-def/src/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/pretty.rs -------------------------------------------------------------------------------- /crates/hir-def/src/resolver.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/resolver.rs -------------------------------------------------------------------------------- /crates/hir-def/src/src.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/src.rs -------------------------------------------------------------------------------- /crates/hir-def/src/test_db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/test_db.rs -------------------------------------------------------------------------------- /crates/hir-def/src/trace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/trace.rs -------------------------------------------------------------------------------- /crates/hir-def/src/visibility.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-def/src/visibility.rs -------------------------------------------------------------------------------- /crates/hir-expand/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/Cargo.toml -------------------------------------------------------------------------------- /crates/hir-expand/src/attrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/attrs.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/builtin_attr_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/builtin_attr_macro.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/builtin_fn_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/builtin_fn_macro.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/cfg_process.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/cfg_process.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/change.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/change.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/db.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/declarative.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/declarative.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/eager.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/eager.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/files.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/files.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/fixup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/fixup.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/hygiene.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/hygiene.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/inert_attr_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/inert_attr_macro.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/lib.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/mod_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/mod_path.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/name.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/proc_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/proc_macro.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/quote.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/quote.rs -------------------------------------------------------------------------------- /crates/hir-expand/src/span_map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-expand/src/span_map.rs -------------------------------------------------------------------------------- /crates/hir-ty/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/Cargo.toml -------------------------------------------------------------------------------- /crates/hir-ty/src/autoderef.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/autoderef.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/builder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/builder.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/chalk_db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/chalk_db.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/chalk_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/chalk_ext.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/consteval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/consteval.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/consteval/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/consteval/tests.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/db.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/diagnostics.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/diagnostics/decl_check.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/diagnostics/decl_check.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/diagnostics/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/diagnostics/expr.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/display.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/generics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/generics.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/cast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/cast.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/closure.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/coerce.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/coerce.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/expr.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/mutability.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/mutability.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/pat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/pat.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/path.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/infer/unify.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/infer/unify.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/inhabitedness.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/inhabitedness.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/interner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/interner.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/lang_items.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/lang_items.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/layout.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/layout/adt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/layout/adt.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/layout/target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/layout/target.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/layout/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/layout/tests.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/layout/tests/closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/layout/tests/closure.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/lib.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/lower.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mapping.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mapping.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/method_resolution.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/method_resolution.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/borrowck.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/borrowck.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/eval.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/eval.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/eval/shim.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/eval/shim.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/eval/shim/simd.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/eval/shim/simd.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/eval/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/eval/tests.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/lower.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/lower.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/lower/as_place.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/lower/as_place.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/monomorphization.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/monomorphization.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/mir/pretty.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/mir/pretty.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/primitive.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/primitive.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/test_db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/test_db.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/coercion.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/coercion.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/diagnostics.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/incremental.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/incremental.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/macros.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/never_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/never_type.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/patterns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/patterns.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/regression.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/regression.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/simple.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/simple.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tests/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tests/traits.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/tls.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/tls.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/traits.rs -------------------------------------------------------------------------------- /crates/hir-ty/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir-ty/src/utils.rs -------------------------------------------------------------------------------- /crates/hir/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/Cargo.toml -------------------------------------------------------------------------------- /crates/hir/src/attrs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/attrs.rs -------------------------------------------------------------------------------- /crates/hir/src/db.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/db.rs -------------------------------------------------------------------------------- /crates/hir/src/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/diagnostics.rs -------------------------------------------------------------------------------- /crates/hir/src/display.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/display.rs -------------------------------------------------------------------------------- /crates/hir/src/from_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/from_id.rs -------------------------------------------------------------------------------- /crates/hir/src/has_source.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/has_source.rs -------------------------------------------------------------------------------- /crates/hir/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/lib.rs -------------------------------------------------------------------------------- /crates/hir/src/semantics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/semantics.rs -------------------------------------------------------------------------------- /crates/hir/src/semantics/source_to_def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/semantics/source_to_def.rs -------------------------------------------------------------------------------- /crates/hir/src/source_analyzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/source_analyzer.rs -------------------------------------------------------------------------------- /crates/hir/src/symbols.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/symbols.rs -------------------------------------------------------------------------------- /crates/hir/src/term_search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/term_search.rs -------------------------------------------------------------------------------- /crates/hir/src/term_search/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/term_search/expr.rs -------------------------------------------------------------------------------- /crates/hir/src/term_search/tactics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/hir/src/term_search/tactics.rs -------------------------------------------------------------------------------- /crates/ide-assists/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/Cargo.toml -------------------------------------------------------------------------------- /crates/ide-assists/src/assist_config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/assist_config.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/assist_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/assist_context.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/lib.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/proof_plumber_api.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/proof_plumber_api.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/tests.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/tests/generated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/tests/generated.rs -------------------------------------------------------------------------------- /crates/ide-assists/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-assists/src/utils.rs -------------------------------------------------------------------------------- /crates/ide-completion/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/Cargo.toml -------------------------------------------------------------------------------- /crates/ide-completion/src/completions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/completions.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/config.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/context.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/context/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/context/tests.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/item.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/lib.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render/const_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render/const_.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render/literal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render/literal.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render/macro_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render/macro_.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render/pattern.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/render/variant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/render/variant.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/snippet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/snippet.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests/fn_param.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests/fn_param.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests/item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests/item.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests/pattern.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests/pattern.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests/record.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests/record.rs -------------------------------------------------------------------------------- /crates/ide-completion/src/tests/special.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-completion/src/tests/special.rs -------------------------------------------------------------------------------- /crates/ide-db/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/Cargo.toml -------------------------------------------------------------------------------- /crates/ide-db/src/active_parameter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/active_parameter.rs -------------------------------------------------------------------------------- /crates/ide-db/src/apply_change.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/apply_change.rs -------------------------------------------------------------------------------- /crates/ide-db/src/assists.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/assists.rs -------------------------------------------------------------------------------- /crates/ide-db/src/defs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/defs.rs -------------------------------------------------------------------------------- /crates/ide-db/src/documentation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/documentation.rs -------------------------------------------------------------------------------- /crates/ide-db/src/famous_defs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/famous_defs.rs -------------------------------------------------------------------------------- /crates/ide-db/src/generated/lints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/generated/lints.rs -------------------------------------------------------------------------------- /crates/ide-db/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/helpers.rs -------------------------------------------------------------------------------- /crates/ide-db/src/imports/insert_use.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/imports/insert_use.rs -------------------------------------------------------------------------------- /crates/ide-db/src/items_locator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/items_locator.rs -------------------------------------------------------------------------------- /crates/ide-db/src/label.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/label.rs -------------------------------------------------------------------------------- /crates/ide-db/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/lib.rs -------------------------------------------------------------------------------- /crates/ide-db/src/path_transform.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/path_transform.rs -------------------------------------------------------------------------------- /crates/ide-db/src/prime_caches.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/prime_caches.rs -------------------------------------------------------------------------------- /crates/ide-db/src/rename.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/rename.rs -------------------------------------------------------------------------------- /crates/ide-db/src/rust_doc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/rust_doc.rs -------------------------------------------------------------------------------- /crates/ide-db/src/search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/search.rs -------------------------------------------------------------------------------- /crates/ide-db/src/source_change.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/source_change.rs -------------------------------------------------------------------------------- /crates/ide-db/src/symbol_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/symbol_index.rs -------------------------------------------------------------------------------- /crates/ide-db/src/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/traits.rs -------------------------------------------------------------------------------- /crates/ide-db/src/ty_filter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-db/src/ty_filter.rs -------------------------------------------------------------------------------- /crates/ide-diagnostics/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-diagnostics/Cargo.toml -------------------------------------------------------------------------------- /crates/ide-diagnostics/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-diagnostics/src/lib.rs -------------------------------------------------------------------------------- /crates/ide-diagnostics/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-diagnostics/src/tests.rs -------------------------------------------------------------------------------- /crates/ide-ssr/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/Cargo.toml -------------------------------------------------------------------------------- /crates/ide-ssr/src/errors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/errors.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/fragments.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/fragments.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/from_comment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/from_comment.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/lib.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/matching.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/matching.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/nester.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/nester.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/parsing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/parsing.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/replacing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/replacing.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/resolving.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/resolving.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/search.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/search.rs -------------------------------------------------------------------------------- /crates/ide-ssr/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide-ssr/src/tests.rs -------------------------------------------------------------------------------- /crates/ide/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/Cargo.toml -------------------------------------------------------------------------------- /crates/ide/src/annotations.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/annotations.rs -------------------------------------------------------------------------------- /crates/ide/src/call_hierarchy.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/call_hierarchy.rs -------------------------------------------------------------------------------- /crates/ide/src/doc_links.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/doc_links.rs -------------------------------------------------------------------------------- /crates/ide/src/doc_links/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/doc_links/tests.rs -------------------------------------------------------------------------------- /crates/ide/src/expand_macro.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/expand_macro.rs -------------------------------------------------------------------------------- /crates/ide/src/extend_selection.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/extend_selection.rs -------------------------------------------------------------------------------- /crates/ide/src/fetch_crates.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/fetch_crates.rs -------------------------------------------------------------------------------- /crates/ide/src/file_structure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/file_structure.rs -------------------------------------------------------------------------------- /crates/ide/src/fixture.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/fixture.rs -------------------------------------------------------------------------------- /crates/ide/src/folding_ranges.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/folding_ranges.rs -------------------------------------------------------------------------------- /crates/ide/src/goto_declaration.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/goto_declaration.rs -------------------------------------------------------------------------------- /crates/ide/src/goto_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/goto_definition.rs -------------------------------------------------------------------------------- /crates/ide/src/goto_implementation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/goto_implementation.rs -------------------------------------------------------------------------------- /crates/ide/src/goto_type_definition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/goto_type_definition.rs -------------------------------------------------------------------------------- /crates/ide/src/highlight_related.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/highlight_related.rs -------------------------------------------------------------------------------- /crates/ide/src/hover.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/hover.rs -------------------------------------------------------------------------------- /crates/ide/src/hover/render.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/hover/render.rs -------------------------------------------------------------------------------- /crates/ide/src/hover/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/hover/tests.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints/adjustment.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints/adjustment.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints/bind_pat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints/bind_pat.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints/chaining.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints/chaining.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints/closure_ret.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints/closure_ret.rs -------------------------------------------------------------------------------- /crates/ide/src/inlay_hints/param_name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/inlay_hints/param_name.rs -------------------------------------------------------------------------------- /crates/ide/src/interpret_function.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/interpret_function.rs -------------------------------------------------------------------------------- /crates/ide/src/join_lines.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/join_lines.rs -------------------------------------------------------------------------------- /crates/ide/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/lib.rs -------------------------------------------------------------------------------- /crates/ide/src/markdown_remove.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/markdown_remove.rs -------------------------------------------------------------------------------- /crates/ide/src/markup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/markup.rs -------------------------------------------------------------------------------- /crates/ide/src/matching_brace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/matching_brace.rs -------------------------------------------------------------------------------- /crates/ide/src/moniker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/moniker.rs -------------------------------------------------------------------------------- /crates/ide/src/move_item.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/move_item.rs -------------------------------------------------------------------------------- /crates/ide/src/navigation_target.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/navigation_target.rs -------------------------------------------------------------------------------- /crates/ide/src/parent_module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/parent_module.rs -------------------------------------------------------------------------------- /crates/ide/src/references.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/references.rs -------------------------------------------------------------------------------- /crates/ide/src/rename.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/rename.rs -------------------------------------------------------------------------------- /crates/ide/src/runnables.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/runnables.rs -------------------------------------------------------------------------------- /crates/ide/src/shuffle_crate_graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/shuffle_crate_graph.rs -------------------------------------------------------------------------------- /crates/ide/src/signature_help.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/signature_help.rs -------------------------------------------------------------------------------- /crates/ide/src/ssr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/ssr.rs -------------------------------------------------------------------------------- /crates/ide/src/static_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/static_index.rs -------------------------------------------------------------------------------- /crates/ide/src/status.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/status.rs -------------------------------------------------------------------------------- /crates/ide/src/syntax_highlighting.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/syntax_highlighting.rs -------------------------------------------------------------------------------- /crates/ide/src/syntax_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/syntax_tree.rs -------------------------------------------------------------------------------- /crates/ide/src/test_explorer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/test_explorer.rs -------------------------------------------------------------------------------- /crates/ide/src/typing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/typing.rs -------------------------------------------------------------------------------- /crates/ide/src/typing/on_enter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/typing/on_enter.rs -------------------------------------------------------------------------------- /crates/ide/src/view_crate_graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/view_crate_graph.rs -------------------------------------------------------------------------------- /crates/ide/src/view_hir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/view_hir.rs -------------------------------------------------------------------------------- /crates/ide/src/view_item_tree.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/view_item_tree.rs -------------------------------------------------------------------------------- /crates/ide/src/view_memory_layout.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/view_memory_layout.rs -------------------------------------------------------------------------------- /crates/ide/src/view_mir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/ide/src/view_mir.rs -------------------------------------------------------------------------------- /crates/intern/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/intern/Cargo.toml -------------------------------------------------------------------------------- /crates/intern/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/intern/src/lib.rs -------------------------------------------------------------------------------- /crates/limit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/limit/Cargo.toml -------------------------------------------------------------------------------- /crates/limit/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/limit/src/lib.rs -------------------------------------------------------------------------------- /crates/load-cargo/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/load-cargo/Cargo.toml -------------------------------------------------------------------------------- /crates/load-cargo/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/load-cargo/src/lib.rs -------------------------------------------------------------------------------- /crates/mbe/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/Cargo.toml -------------------------------------------------------------------------------- /crates/mbe/src/benchmark.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/benchmark.rs -------------------------------------------------------------------------------- /crates/mbe/src/expander.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/expander.rs -------------------------------------------------------------------------------- /crates/mbe/src/expander/matcher.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/expander/matcher.rs -------------------------------------------------------------------------------- /crates/mbe/src/expander/transcriber.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/expander/transcriber.rs -------------------------------------------------------------------------------- /crates/mbe/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/lib.rs -------------------------------------------------------------------------------- /crates/mbe/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/parser.rs -------------------------------------------------------------------------------- /crates/mbe/src/syntax_bridge.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/syntax_bridge.rs -------------------------------------------------------------------------------- /crates/mbe/src/syntax_bridge/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/syntax_bridge/tests.rs -------------------------------------------------------------------------------- /crates/mbe/src/to_parser_input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/mbe/src/to_parser_input.rs -------------------------------------------------------------------------------- /crates/parser/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/Cargo.toml -------------------------------------------------------------------------------- /crates/parser/src/edition.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/edition.rs -------------------------------------------------------------------------------- /crates/parser/src/event.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/event.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/attributes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/attributes.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/expressions.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/expressions.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/generic_args.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/generic_args.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/items.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/items.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/items/adt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/items/adt.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/items/consts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/items/consts.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/items/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/items/traits.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/params.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/params.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/paths.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/paths.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/patterns.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/patterns.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/types.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/types.rs -------------------------------------------------------------------------------- /crates/parser/src/grammar/verus.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/grammar/verus.rs -------------------------------------------------------------------------------- /crates/parser/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/input.rs -------------------------------------------------------------------------------- /crates/parser/src/lexed_str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/lexed_str.rs -------------------------------------------------------------------------------- /crates/parser/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/lib.rs -------------------------------------------------------------------------------- /crates/parser/src/output.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/output.rs -------------------------------------------------------------------------------- /crates/parser/src/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/parser.rs -------------------------------------------------------------------------------- /crates/parser/src/shortcuts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/shortcuts.rs -------------------------------------------------------------------------------- /crates/parser/src/syntax_kind.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/syntax_kind.rs -------------------------------------------------------------------------------- /crates/parser/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/tests.rs -------------------------------------------------------------------------------- /crates/parser/src/tests/prefix_entries.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/tests/prefix_entries.rs -------------------------------------------------------------------------------- /crates/parser/src/tests/top_entries.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/tests/top_entries.rs -------------------------------------------------------------------------------- /crates/parser/src/token_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/src/token_set.rs -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/lifetime_starts_with_a_number.rs: -------------------------------------------------------------------------------- 1 | '1 2 | '1lifetime 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_block_comment_at_eof.rs: -------------------------------------------------------------------------------- 1 | /* -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_block_comment_with_content.rs: -------------------------------------------------------------------------------- 1 | /* comment 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_at_eof.rs: -------------------------------------------------------------------------------- 1 | b' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | b" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | b"\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_ferris.rs: -------------------------------------------------------------------------------- 1 | b"🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_slash.rs: -------------------------------------------------------------------------------- 1 | b"\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_slash_double_quote.rs: -------------------------------------------------------------------------------- 1 | b"\" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | b"\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_space.rs: -------------------------------------------------------------------------------- 1 | b" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_string_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | b"\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | b'\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_ferris.rs: -------------------------------------------------------------------------------- 1 | b'🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_slash.rs: -------------------------------------------------------------------------------- 1 | b'\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | b'\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_slash_single_quote.rs: -------------------------------------------------------------------------------- 1 | b'\' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_space.rs: -------------------------------------------------------------------------------- 1 | b' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_byte_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | b'\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_at_eof.rs: -------------------------------------------------------------------------------- 1 | ' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | '\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_ferris.rs: -------------------------------------------------------------------------------- 1 | '🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_slash.rs: -------------------------------------------------------------------------------- 1 | '\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | '\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_slash_single_quote.rs: -------------------------------------------------------------------------------- 1 | '\' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_space.rs: -------------------------------------------------------------------------------- 1 | ' -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_char_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | '\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_at_eof.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##\"" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | br##" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | br##"\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_ferris.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##\"🦀" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_ferris.rs: -------------------------------------------------------------------------------- 1 | br##"🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_slash.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##\"\\" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_slash.rs: -------------------------------------------------------------------------------- 1 | br##"\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_slash_n.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##\"\\n" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | br##"\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_space.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##\" " error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_space.rs: -------------------------------------------------------------------------------- 1 | br##" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_byte_string_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | br##"\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_at_eof.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | r##" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_ascii_escape.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"\\x7f" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | r##"\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_ferris.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"🦀" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_ferris.rs: -------------------------------------------------------------------------------- 1 | r##"🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_slash.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"\\" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_slash.rs: -------------------------------------------------------------------------------- 1 | r##"\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_slash_n.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"\\n" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | r##"\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_space.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\" " error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_space.rs: -------------------------------------------------------------------------------- 1 | r##" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_unicode_escape.rast: -------------------------------------------------------------------------------- 1 | STRING "r##\"\\u{20AA}" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_raw_string_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | r##"\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | " -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_ascii_escape.rs: -------------------------------------------------------------------------------- 1 | "\x7f -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_ferris.rs: -------------------------------------------------------------------------------- 1 | "🦀 -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_slash.rs: -------------------------------------------------------------------------------- 1 | "\ -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_slash_double_quote.rs: -------------------------------------------------------------------------------- 1 | "\" -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_slash_n.rs: -------------------------------------------------------------------------------- 1 | "\n -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_space.rs: -------------------------------------------------------------------------------- 1 | " -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unclosed_string_with_unicode_escape.rs: -------------------------------------------------------------------------------- 1 | "\u{20AA} -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_byte_string_at_eof.rast: -------------------------------------------------------------------------------- 1 | BYTE_STRING "br##" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_byte_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | br## -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_byte_string_with_ascii.rs: -------------------------------------------------------------------------------- 1 | br## I lack a quote! -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_string_at_eof.rast: -------------------------------------------------------------------------------- 1 | STRING "r##" error: Invalid raw string literal 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_string_at_eof.rs: -------------------------------------------------------------------------------- 1 | r## -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/err/unstarted_raw_string_with_ascii.rs: -------------------------------------------------------------------------------- 1 | r## I lack a quote! -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/chars.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/parser/test_data/lexer/ok/chars.rs -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/hello.rs: -------------------------------------------------------------------------------- 1 | hello world -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/ident.rs: -------------------------------------------------------------------------------- 1 | foo foo_ _foo _ __ x привет 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/raw_ident.rast: -------------------------------------------------------------------------------- 1 | IDENT "r#raw_ident" 2 | WHITESPACE "\n" 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/raw_ident.rs: -------------------------------------------------------------------------------- 1 | r#raw_ident 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/raw_ident.txt: -------------------------------------------------------------------------------- 1 | IDENT "r#raw_ident" 2 | WHITESPACE "\n" 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/strings.rs: -------------------------------------------------------------------------------- 1 | "hello" r"world" "\n\"\\no escape" "multi 2 | line" 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/lexer/ok/whitespace.rs: -------------------------------------------------------------------------------- 1 | a b c 2 | d 3 | 4 | e f 5 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0001_item_recovery_in_file.rs: -------------------------------------------------------------------------------- 1 | if match 2 | 3 | struct S {} -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0004_use_path_bad_segment.rs: -------------------------------------------------------------------------------- 1 | use foo::92; -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0011_extern_struct.rs: -------------------------------------------------------------------------------- 1 | extern struct Foo; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0014_where_no_bounds.rs: -------------------------------------------------------------------------------- 1 | fn foo() where T {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0015_curly_in_params.rs: -------------------------------------------------------------------------------- 1 | fn foo(}) { 2 | } 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0020_fn_recover.rs: -------------------------------------------------------------------------------- 1 | fn 2 | 3 | fn foo() {} 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0021_incomplete_param.rs: -------------------------------------------------------------------------------- 1 | fn foo(x: i32, y) { 2 | } 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/err/0029_field_completion.rs: -------------------------------------------------------------------------------- 1 | fn foo(a: A) { 2 | a. 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0001_array_type_missing_semi.rs: -------------------------------------------------------------------------------- 1 | type T = [() 92]; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0002_misplaced_label_err.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | 'loop: impl 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0003_pointer_type_no_mutability.rs: -------------------------------------------------------------------------------- 1 | type T = *(); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0005_fn_pointer_type_missing_fn.rs: -------------------------------------------------------------------------------- 1 | type F = unsafe (); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0006_unsafe_block_in_mod.rs: -------------------------------------------------------------------------------- 1 | fn foo(){} unsafe { } fn bar(){} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0007_async_without_semicolon.rs: -------------------------------------------------------------------------------- 1 | fn foo() { let _ = async {} } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0008_pub_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { pub 92; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0013_anonymous_static.rs: -------------------------------------------------------------------------------- 1 | static _: i32 = 5; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0014_struct_field_recover.rs: -------------------------------------------------------------------------------- 1 | struct S { f pub g: () } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0015_empty_segment.rs: -------------------------------------------------------------------------------- 1 | use crate::; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0018_crate_visibility_empty_recover.rs: -------------------------------------------------------------------------------- 1 | pub() struct S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0019_tuple_expr_leading_comma.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | (,); 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0020_tuple_pat_leading_comma.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | let (,); 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0024_top_level_let.rs: -------------------------------------------------------------------------------- 1 | let ref foo: fn() = 1 + 3; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0030_generic_arg_list_recover.rs: -------------------------------------------------------------------------------- 1 | type T = T<0, ,T>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0031_generic_param_list_recover.rs: -------------------------------------------------------------------------------- 1 | fn f() {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0032_record_literal_field_eq_recovery.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | S { field = foo } 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/err/0033_record_pat_field_eq_recovery.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | let S { field = foo }; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0002_use_tree_list.rs: -------------------------------------------------------------------------------- 1 | use {a, b, c}; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0003_where_pred_for.rs: -------------------------------------------------------------------------------- 1 | fn for_trait() 2 | where 3 | for<'a> F: Fn(&'a str) 4 | { } 5 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0005_function_type_params.rs: -------------------------------------------------------------------------------- 1 | fn foo(){} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0009_loop_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | loop {}; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0014_never_type.rs: -------------------------------------------------------------------------------- 1 | type Never = !; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0017_array_type.rs: -------------------------------------------------------------------------------- 1 | type T = [(); 92]; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0023_placeholder_type.rs: -------------------------------------------------------------------------------- 1 | type Placeholder = _; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0025_slice_type.rs: -------------------------------------------------------------------------------- 1 | type T = [()]; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0028_impl_trait_type.rs: -------------------------------------------------------------------------------- 1 | type A = impl Iterator> + 'a; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0038_full_range_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { xs[..]; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0041_trait_item.rs: -------------------------------------------------------------------------------- 1 | trait T { fn new() -> Self; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0045_param_list_opt_patterns.rs: -------------------------------------------------------------------------------- 1 | fn foo)>(){} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0046_singleton_tuple_type.rs: -------------------------------------------------------------------------------- 1 | type T = (i32,); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0050_fn_decl.rs: -------------------------------------------------------------------------------- 1 | trait T { fn foo(); } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0051_unit_type.rs: -------------------------------------------------------------------------------- 1 | type T = (); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0054_record_field_attrs.rs: -------------------------------------------------------------------------------- 1 | struct S { #[attr] f: f32 } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0060_extern_crate.rs: -------------------------------------------------------------------------------- 1 | extern crate foo; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0063_impl_item_neg.rs: -------------------------------------------------------------------------------- 1 | impl !Send for S {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0065_dyn_trait_type.rs: -------------------------------------------------------------------------------- 1 | type A = dyn Iterator> + 'a; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0067_crate_path.rs: -------------------------------------------------------------------------------- 1 | use crate::foo; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0073_type_item_type_params.rs: -------------------------------------------------------------------------------- 1 | type Result = (); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0076_function_where_clause.rs: -------------------------------------------------------------------------------- 1 | fn foo() where T: Copy {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0077_try_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | x?; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0078_type_alias.rs: -------------------------------------------------------------------------------- 1 | type Foo = Bar; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0079_impl_item.rs: -------------------------------------------------------------------------------- 1 | impl S {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0084_paren_type.rs: -------------------------------------------------------------------------------- 1 | type T = (i32); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0090_type_param_default.rs: -------------------------------------------------------------------------------- 1 | struct S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0092_fn_pointer_type_with_ret.rs: -------------------------------------------------------------------------------- 1 | type F = fn() -> (); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0093_index_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | x[1][2]; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0095_placeholder_pat.rs: -------------------------------------------------------------------------------- 1 | fn main() { let _ = (); } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0100_for_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | for x in [] {}; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0104_path_fn_trait_args.rs: -------------------------------------------------------------------------------- 1 | type F = Box ()>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0114_tuple_struct_where.rs: -------------------------------------------------------------------------------- 1 | struct S(T) where T: Clone; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0115_tuple_field_attrs.rs: -------------------------------------------------------------------------------- 1 | struct S (#[attr] f32); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0123_param_list_vararg.rs: -------------------------------------------------------------------------------- 1 | extern "C" { fn printf(format: *const i8, ..., _: u8) -> i32; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0125_record_literal_field_with_attr.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | S { #[cfg(test)] field: 1 } 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0129_marco_pat.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | let m!(x) = 0; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0130_let_stmt.rs: -------------------------------------------------------------------------------- 1 | fn f() { let x: i32 = 92; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0130_try_block_expr.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | let _ = try {}; 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0131_existential_type.rs: -------------------------------------------------------------------------------- 1 | existential type Foo: Fn() -> usize; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0138_self_param_outer_attr.rs: -------------------------------------------------------------------------------- 1 | fn f(#[must_use] self) {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0139_param_outer_arg.rs: -------------------------------------------------------------------------------- 1 | fn f(#[attr1] pat: Type) {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0146_as_precedence.rs: -------------------------------------------------------------------------------- 1 | fn f() { let _ = &1 as *const i32; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0147_const_param.rs: -------------------------------------------------------------------------------- 1 | struct S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0147_macro_def.rs: -------------------------------------------------------------------------------- 1 | macro m($i:ident) {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0150_array_attrs.rs: -------------------------------------------------------------------------------- 1 | const A: &[i64] = &[1, #[cfg(test)] 2]; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0150_impl_type_params.rs: -------------------------------------------------------------------------------- 1 | impl Bar {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0151_fn.rs: -------------------------------------------------------------------------------- 1 | fn foo() {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0151_trait_alias.rs: -------------------------------------------------------------------------------- 1 | trait Z = T; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0152_arg_with_attr.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | foo(#[attr] 92) 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0154_tuple_attrs.rs: -------------------------------------------------------------------------------- 1 | const A: (i64, i64) = (1, #[cfg(test)] 2); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0155_closure_params.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | let foo = |bar, baz: Baz, qux: Qux::Quux| (); 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0156_fn_def_param.rs: -------------------------------------------------------------------------------- 1 | fn foo(..., (x, y): (i32, i32)) {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0157_fn_pointer_unnamed_arg.rs: -------------------------------------------------------------------------------- 1 | type Foo = fn(_: bar); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0157_variant_discriminant.rs: -------------------------------------------------------------------------------- 1 | enum E { X(i32) = 10 } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0158_binop_resets_statementness.rs: -------------------------------------------------------------------------------- 1 | fn f() { v = {1}&2; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0158_lambda_ret_block.rs: -------------------------------------------------------------------------------- 1 | fn main() { || -> i32 { 92 }(); } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0159_try_macro_fallback.rs: -------------------------------------------------------------------------------- 1 | fn foo() { try!(Ok(())); } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0160_try_macro_rules.rs: -------------------------------------------------------------------------------- 1 | macro_rules! try { () => {} } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0161_impl_item_const.rs: -------------------------------------------------------------------------------- 1 | impl const Send for S {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0161_labeled_block.rs: -------------------------------------------------------------------------------- 1 | fn f() { 'label: {}; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0164_default_item.rs: -------------------------------------------------------------------------------- 1 | default impl T for Foo {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0164_type_path_in_pattern.rs: -------------------------------------------------------------------------------- 1 | fn main() { let <_>::Foo = (); } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0168_extern_crate_rename.rs: -------------------------------------------------------------------------------- 1 | extern crate foo as bar; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0168_extern_crate_self.rs: -------------------------------------------------------------------------------- 1 | extern crate self; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0169_mod_item.rs: -------------------------------------------------------------------------------- 1 | mod a; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0170_mod_item_curly.rs: -------------------------------------------------------------------------------- 1 | mod b { } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0170_tuple_struct.rs: -------------------------------------------------------------------------------- 1 | struct S(String, usize); 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0171_struct_item.rs: -------------------------------------------------------------------------------- 1 | struct S {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0172_const_item.rs: -------------------------------------------------------------------------------- 1 | const C: u32 = 92; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0172_record_field_list.rs: -------------------------------------------------------------------------------- 1 | struct S { a: i32, b: f32 } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0173_anonymous_const.rs: -------------------------------------------------------------------------------- 1 | const _: u32 = 0; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0173_macro_def_curly.rs: -------------------------------------------------------------------------------- 1 | macro m { ($i:ident) => {} } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0173_union_item.rs: -------------------------------------------------------------------------------- 1 | struct U { i: i32, f: f32 } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0174_trait_item_generic_params.rs: -------------------------------------------------------------------------------- 1 | trait X {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0174_unit_struct.rs: -------------------------------------------------------------------------------- 1 | struct S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0174_use_tree_star.rs: -------------------------------------------------------------------------------- 1 | use *; 2 | use std::{*}; 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0175_trait_item_bounds.rs: -------------------------------------------------------------------------------- 1 | trait T: Hash + Clone {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0176_trait_item_where_clause.rs: -------------------------------------------------------------------------------- 1 | trait T where Self: Copy {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0177_assoc_item_list_inner_attrs.rs: -------------------------------------------------------------------------------- 1 | impl S { #![attr] } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0178_use_tree_path_use_tree.rs: -------------------------------------------------------------------------------- 1 | use std::{collections}; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0180_use_tree_path_star.rs: -------------------------------------------------------------------------------- 1 | use std::*; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0181_use_item.rs: -------------------------------------------------------------------------------- 1 | use std::collections; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0182_lifetime_param.rs: -------------------------------------------------------------------------------- 1 | fn f<'a: 'b>() {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0183_const_arg_block.rs: -------------------------------------------------------------------------------- 1 | type T = S<{90 + 2}>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0183_type_param.rs: -------------------------------------------------------------------------------- 1 | fn f() {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0184_const_arg.rs: -------------------------------------------------------------------------------- 1 | type T = S<92>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0184_generic_param_list.rs: -------------------------------------------------------------------------------- 1 | fn f() {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0185_assoc_type_bound.rs: -------------------------------------------------------------------------------- 1 | type T = StreamingIterator: Clone>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0186_lifetime_arg.rs: -------------------------------------------------------------------------------- 1 | type T = S<'static>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0189_const_arg_literal.rs: -------------------------------------------------------------------------------- 1 | type T = S<"hello", 0xdeadbeef>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0190_generic_arg.rs: -------------------------------------------------------------------------------- 1 | type T = S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0191_const_arg_negative_number.rs: -------------------------------------------------------------------------------- 1 | type T = S<-92>; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0192_const_arg_bool_literal.rs: -------------------------------------------------------------------------------- 1 | type T = S; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0193_let_stmt_init.rs: -------------------------------------------------------------------------------- 1 | fn f() { let x = 92; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0194_let_else.rs: -------------------------------------------------------------------------------- 1 | fn f() { let Some(x) = opt else { return }; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0194_let_stmt_ascription.rs: -------------------------------------------------------------------------------- 1 | fn f() { let x: i32; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0194_macro_inside_generic_arg.rs: -------------------------------------------------------------------------------- 1 | type A = Foo; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0199_const_param_default_expression.rs: -------------------------------------------------------------------------------- 1 | struct A; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0200_const_param_default_literal.rs: -------------------------------------------------------------------------------- 1 | struct A; 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0201_question_for_type_trait_bound.rs: -------------------------------------------------------------------------------- 1 | fn f() where T: ?for<> Sized {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0203_closure_body_underscore_assignment.rs: -------------------------------------------------------------------------------- 1 | fn main() { || _ = 0; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/inline/ok/0205_const_closure.rs: -------------------------------------------------------------------------------- 1 | fn main() { let cl = const || _ = 0; } 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0000_empty.rast: -------------------------------------------------------------------------------- 1 | SOURCE_FILE 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0000_empty.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0001_struct_item.rs: -------------------------------------------------------------------------------- 1 | struct S { 2 | f: T, 3 | } 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0002_struct_item_field.rs: -------------------------------------------------------------------------------- 1 | struct S { 2 | foo: u32 3 | } -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0004_file_shebang.rast: -------------------------------------------------------------------------------- 1 | SOURCE_FILE 2 | SHEBANG "#!/use/bin/env rusti" 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0004_file_shebang.rs: -------------------------------------------------------------------------------- 1 | #!/use/bin/env rusti -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0005_fn_item.rs: -------------------------------------------------------------------------------- 1 | fn foo() { 2 | } 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0009_use_item.rs: -------------------------------------------------------------------------------- 1 | use foo; 2 | use ::bar; -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0011_outer_attribute.rs: -------------------------------------------------------------------------------- 1 | #[cfg(test)] 2 | #[Ignore] 3 | fn foo() {} 4 | 5 | #[path = "a.rs"] 6 | mod b; 7 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0024_const_item.rast: -------------------------------------------------------------------------------- 1 | SOURCE_FILE 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0024_const_item.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0038_where_pred_type.rs: -------------------------------------------------------------------------------- 1 | fn test() where (u64, u64): Foo {} -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0039_raw_fn_item.rs: -------------------------------------------------------------------------------- 1 | fn r#foo() { 2 | } 3 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0040_raw_struct_item_field.rs: -------------------------------------------------------------------------------- 1 | struct S { 2 | r#foo: u32 3 | } -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0065_comment_newline.rs: -------------------------------------------------------------------------------- 1 | /// Example 2 | 3 | fn test() {} 4 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0065_plus_after_fn_trait_bound.rs: -------------------------------------------------------------------------------- 1 | fn f() where T: Fn() -> u8 + Send {} 2 | -------------------------------------------------------------------------------- /crates/parser/test_data/parser/ok/0070_expr_attr_placement.rs: -------------------------------------------------------------------------------- 1 | fn f() { 2 | (#[a] lhs? + #[b] rhs.await) 3 | } 4 | -------------------------------------------------------------------------------- /crates/paths/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/paths/Cargo.toml -------------------------------------------------------------------------------- /crates/paths/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/paths/src/lib.rs -------------------------------------------------------------------------------- /crates/proc-macro-api/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/Cargo.toml -------------------------------------------------------------------------------- /crates/proc-macro-api/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/src/lib.rs -------------------------------------------------------------------------------- /crates/proc-macro-api/src/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/src/msg.rs -------------------------------------------------------------------------------- /crates/proc-macro-api/src/msg/flat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/src/msg/flat.rs -------------------------------------------------------------------------------- /crates/proc-macro-api/src/process.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/src/process.rs -------------------------------------------------------------------------------- /crates/proc-macro-api/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-api/src/version.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv-cli/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv-cli/Cargo.toml -------------------------------------------------------------------------------- /crates/proc-macro-srv-cli/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv-cli/build.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv-cli/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv-cli/src/main.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/Cargo.toml -------------------------------------------------------------------------------- /crates/proc-macro-srv/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/build.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/proc-macro-test/imp/.gitignore: -------------------------------------------------------------------------------- 1 | target/ 2 | Cargo.lock 3 | -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/dylib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/dylib.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/lib.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/proc_macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/proc_macros.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/server.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/server.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/tests/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/tests/mod.rs -------------------------------------------------------------------------------- /crates/proc-macro-srv/src/tests/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/proc-macro-srv/src/tests/utils.rs -------------------------------------------------------------------------------- /crates/profile/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/profile/Cargo.toml -------------------------------------------------------------------------------- /crates/profile/src/google_cpu_profiler.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/profile/src/google_cpu_profiler.rs -------------------------------------------------------------------------------- /crates/profile/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/profile/src/lib.rs -------------------------------------------------------------------------------- /crates/profile/src/memory_usage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/profile/src/memory_usage.rs -------------------------------------------------------------------------------- /crates/profile/src/stop_watch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/profile/src/stop_watch.rs -------------------------------------------------------------------------------- /crates/project-model/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/Cargo.toml -------------------------------------------------------------------------------- /crates/project-model/src/build_scripts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/build_scripts.rs -------------------------------------------------------------------------------- /crates/project-model/src/cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/cfg.rs -------------------------------------------------------------------------------- /crates/project-model/src/env.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/env.rs -------------------------------------------------------------------------------- /crates/project-model/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/lib.rs -------------------------------------------------------------------------------- /crates/project-model/src/manifest_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/manifest_path.rs -------------------------------------------------------------------------------- /crates/project-model/src/project_json.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/project_json.rs -------------------------------------------------------------------------------- /crates/project-model/src/rustc_cfg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/rustc_cfg.rs -------------------------------------------------------------------------------- /crates/project-model/src/sysroot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/sysroot.rs -------------------------------------------------------------------------------- /crates/project-model/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/tests.rs -------------------------------------------------------------------------------- /crates/project-model/src/workspace.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/project-model/src/workspace.rs -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/alloc/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/core/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/panic_abort/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/panic_unwind/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/proc_macro/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/profiler_builtins/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/std/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/stdarch/crates/std_detect/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/term/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/test/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/project-model/test_data/fake-sysroot/unwind/src/lib.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /crates/rust-analyzer/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/Cargo.toml -------------------------------------------------------------------------------- /crates/rust-analyzer/build.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/build.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/bin/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/bin/main.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/caps.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/caps.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/flags.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/flags.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/highlight.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/highlight.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/lsif.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/lsif.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/parse.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/parse.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/run_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/run_tests.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/scip.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/scip.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/ssr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/ssr.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/cli/symbols.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/cli/symbols.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/config.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/config.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/diagnostics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/diagnostics.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/diff.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/diff.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/dispatch.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/dispatch.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/global_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/global_state.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/lib.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/line_index.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/line_index.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/lsp.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/lsp.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/lsp/ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/lsp/ext.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/lsp/to_proto.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/lsp/to_proto.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/lsp/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/lsp/utils.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/main_loop.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/main_loop.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/mem_docs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/mem_docs.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/op_queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/op_queue.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/reload.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/reload.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/target_spec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/target_spec.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/task_pool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/task_pool.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/tracing/hprof.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/tracing/hprof.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/src/version.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/src/version.rs -------------------------------------------------------------------------------- /crates/rust-analyzer/tests/crate_graph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/rust-analyzer/tests/crate_graph.rs -------------------------------------------------------------------------------- /crates/salsa/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/Cargo.toml -------------------------------------------------------------------------------- /crates/salsa/FAQ.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/FAQ.md -------------------------------------------------------------------------------- /crates/salsa/LICENSE-APACHE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/LICENSE-APACHE -------------------------------------------------------------------------------- /crates/salsa/LICENSE-MIT: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/LICENSE-MIT -------------------------------------------------------------------------------- /crates/salsa/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/README.md -------------------------------------------------------------------------------- /crates/salsa/salsa-macros/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/salsa-macros/Cargo.toml -------------------------------------------------------------------------------- /crates/salsa/salsa-macros/LICENSE-APACHE: -------------------------------------------------------------------------------- 1 | ../LICENSE-APACHE 2 | -------------------------------------------------------------------------------- /crates/salsa/salsa-macros/LICENSE-MIT: -------------------------------------------------------------------------------- 1 | ../LICENSE-MIT 2 | -------------------------------------------------------------------------------- /crates/salsa/salsa-macros/README.md: -------------------------------------------------------------------------------- 1 | ../README.md 2 | -------------------------------------------------------------------------------- /crates/salsa/salsa-macros/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/salsa-macros/src/lib.rs -------------------------------------------------------------------------------- /crates/salsa/src/debug.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/debug.rs -------------------------------------------------------------------------------- /crates/salsa/src/derived.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/derived.rs -------------------------------------------------------------------------------- /crates/salsa/src/derived/slot.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/derived/slot.rs -------------------------------------------------------------------------------- /crates/salsa/src/durability.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/durability.rs -------------------------------------------------------------------------------- /crates/salsa/src/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/hash.rs -------------------------------------------------------------------------------- /crates/salsa/src/input.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/input.rs -------------------------------------------------------------------------------- /crates/salsa/src/intern_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/intern_id.rs -------------------------------------------------------------------------------- /crates/salsa/src/interned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/interned.rs -------------------------------------------------------------------------------- /crates/salsa/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/lib.rs -------------------------------------------------------------------------------- /crates/salsa/src/lru.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/lru.rs -------------------------------------------------------------------------------- /crates/salsa/src/plumbing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/plumbing.rs -------------------------------------------------------------------------------- /crates/salsa/src/revision.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/revision.rs -------------------------------------------------------------------------------- /crates/salsa/src/runtime.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/runtime.rs -------------------------------------------------------------------------------- /crates/salsa/src/runtime/local_state.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/runtime/local_state.rs -------------------------------------------------------------------------------- /crates/salsa/src/storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/src/storage.rs -------------------------------------------------------------------------------- /crates/salsa/tests/cycles.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/cycles.rs -------------------------------------------------------------------------------- /crates/salsa/tests/dyn_trait.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/dyn_trait.rs -------------------------------------------------------------------------------- /crates/salsa/tests/incremental/counter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/incremental/counter.rs -------------------------------------------------------------------------------- /crates/salsa/tests/incremental/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/incremental/log.rs -------------------------------------------------------------------------------- /crates/salsa/tests/incremental/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/incremental/main.rs -------------------------------------------------------------------------------- /crates/salsa/tests/interned.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/interned.rs -------------------------------------------------------------------------------- /crates/salsa/tests/lru.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/lru.rs -------------------------------------------------------------------------------- /crates/salsa/tests/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/macros.rs -------------------------------------------------------------------------------- /crates/salsa/tests/no_send_sync.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/no_send_sync.rs -------------------------------------------------------------------------------- /crates/salsa/tests/on_demand_inputs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/on_demand_inputs.rs -------------------------------------------------------------------------------- /crates/salsa/tests/panic_safely.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/panic_safely.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/frozen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/frozen.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/main.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/race.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/race.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/setup.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/setup.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/signal.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/signal.rs -------------------------------------------------------------------------------- /crates/salsa/tests/parallel/stress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/parallel/stress.rs -------------------------------------------------------------------------------- /crates/salsa/tests/transparent.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/transparent.rs -------------------------------------------------------------------------------- /crates/salsa/tests/variadic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/salsa/tests/variadic.rs -------------------------------------------------------------------------------- /crates/sourcegen/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/sourcegen/Cargo.toml -------------------------------------------------------------------------------- /crates/sourcegen/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/sourcegen/src/lib.rs -------------------------------------------------------------------------------- /crates/span/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/span/Cargo.toml -------------------------------------------------------------------------------- /crates/span/src/ast_id.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/span/src/ast_id.rs -------------------------------------------------------------------------------- /crates/span/src/hygiene.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/span/src/hygiene.rs -------------------------------------------------------------------------------- /crates/span/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/span/src/lib.rs -------------------------------------------------------------------------------- /crates/span/src/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/span/src/map.rs -------------------------------------------------------------------------------- /crates/stdx/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/Cargo.toml -------------------------------------------------------------------------------- /crates/stdx/src/anymap.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/anymap.rs -------------------------------------------------------------------------------- /crates/stdx/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/lib.rs -------------------------------------------------------------------------------- /crates/stdx/src/macros.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/macros.rs -------------------------------------------------------------------------------- /crates/stdx/src/non_empty_vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/non_empty_vec.rs -------------------------------------------------------------------------------- /crates/stdx/src/panic_context.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/panic_context.rs -------------------------------------------------------------------------------- /crates/stdx/src/process.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/process.rs -------------------------------------------------------------------------------- /crates/stdx/src/rand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/rand.rs -------------------------------------------------------------------------------- /crates/stdx/src/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/thread.rs -------------------------------------------------------------------------------- /crates/stdx/src/thread/intent.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/thread/intent.rs -------------------------------------------------------------------------------- /crates/stdx/src/thread/pool.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/stdx/src/thread/pool.rs -------------------------------------------------------------------------------- /crates/syntax/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/Cargo.toml -------------------------------------------------------------------------------- /crates/syntax/fuzz/.gitignore: -------------------------------------------------------------------------------- 1 | Cargo.lock 2 | target 3 | corpus 4 | artifacts 5 | -------------------------------------------------------------------------------- /crates/syntax/fuzz/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/fuzz/Cargo.toml -------------------------------------------------------------------------------- /crates/syntax/fuzz/fuzz_targets/parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/fuzz/fuzz_targets/parser.rs -------------------------------------------------------------------------------- /crates/syntax/rust.ungram: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/rust.ungram -------------------------------------------------------------------------------- /crates/syntax/src/algo.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/algo.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/edit.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/edit.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/edit_in_place.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/edit_in_place.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/expr_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/expr_ext.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/generated.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/generated.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/generated/nodes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/generated/nodes.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/generated/tokens.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/generated/tokens.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/make.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/make.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/node_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/node_ext.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/operators.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/operators.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/prec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/prec.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/token_ext.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/token_ext.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/traits.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/traits.rs -------------------------------------------------------------------------------- /crates/syntax/src/ast/vst.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ast/vst.rs -------------------------------------------------------------------------------- /crates/syntax/src/fuzz.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/fuzz.rs -------------------------------------------------------------------------------- /crates/syntax/src/hacks.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/hacks.rs -------------------------------------------------------------------------------- /crates/syntax/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/lib.rs -------------------------------------------------------------------------------- /crates/syntax/src/parsing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/parsing.rs -------------------------------------------------------------------------------- /crates/syntax/src/parsing/reparsing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/parsing/reparsing.rs -------------------------------------------------------------------------------- /crates/syntax/src/ptr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ptr.rs -------------------------------------------------------------------------------- /crates/syntax/src/syntax_error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/syntax_error.rs -------------------------------------------------------------------------------- /crates/syntax/src/syntax_node.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/syntax_node.rs -------------------------------------------------------------------------------- /crates/syntax/src/ted.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/ted.rs -------------------------------------------------------------------------------- /crates/syntax/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/tests.rs -------------------------------------------------------------------------------- /crates/syntax/src/token_text.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/token_text.rs -------------------------------------------------------------------------------- /crates/syntax/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/utils.rs -------------------------------------------------------------------------------- /crates/syntax/src/validation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/validation.rs -------------------------------------------------------------------------------- /crates/syntax/src/validation/block.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/syntax/src/validation/block.rs -------------------------------------------------------------------------------- /crates/syntax/test_data/parser/fuzz-failures/0002.rs: -------------------------------------------------------------------------------- 1 | !('\ -------------------------------------------------------------------------------- /crates/syntax/test_data/parser/fuzz-failures/0003.rs: -------------------------------------------------------------------------------- 1 | if'\xɿ -------------------------------------------------------------------------------- /crates/syntax/test_data/parser/fuzz-failures/0004.rs: -------------------------------------------------------------------------------- 1 | b"\xʿ -------------------------------------------------------------------------------- /crates/syntax/test_data/parser/validation/0046_mutable_const_item.rs: -------------------------------------------------------------------------------- 1 | const mut FOO: () = (); 2 | -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0000.rs: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 4 | 5 | 6 | 0 -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0001.rs: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 4 | bb" -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0002.rs: -------------------------------------------------------------------------------- 1 | 1 2 | 1 3 | 4 | ""! -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0003.rs: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 4 | __ -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0004.rs: -------------------------------------------------------------------------------- 1 | 0 2 | 0 3 | } 4 | {; -------------------------------------------------------------------------------- /crates/syntax/test_data/reparse/fuzz-failures/0005.rs: -------------------------------------------------------------------------------- 1 | 05 2 | 1 3 | 4 | 5 | 6 | b' 7 | -------------------------------------------------------------------------------- /crates/test-fixture/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-fixture/Cargo.toml -------------------------------------------------------------------------------- /crates/test-fixture/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-fixture/src/lib.rs -------------------------------------------------------------------------------- /crates/test-utils/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/Cargo.toml -------------------------------------------------------------------------------- /crates/test-utils/src/assert_linear.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/src/assert_linear.rs -------------------------------------------------------------------------------- /crates/test-utils/src/bench_fixture.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/src/bench_fixture.rs -------------------------------------------------------------------------------- /crates/test-utils/src/fixture.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/src/fixture.rs -------------------------------------------------------------------------------- /crates/test-utils/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/src/lib.rs -------------------------------------------------------------------------------- /crates/test-utils/src/minicore.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/test-utils/src/minicore.rs -------------------------------------------------------------------------------- /crates/text-edit/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/text-edit/Cargo.toml -------------------------------------------------------------------------------- /crates/text-edit/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/text-edit/src/lib.rs -------------------------------------------------------------------------------- /crates/toolchain/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/toolchain/Cargo.toml -------------------------------------------------------------------------------- /crates/toolchain/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/toolchain/src/lib.rs -------------------------------------------------------------------------------- /crates/tt/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/tt/Cargo.toml -------------------------------------------------------------------------------- /crates/tt/src/buffer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/tt/src/buffer.rs -------------------------------------------------------------------------------- /crates/tt/src/iter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/tt/src/iter.rs -------------------------------------------------------------------------------- /crates/tt/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/tt/src/lib.rs -------------------------------------------------------------------------------- /crates/va-test/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/va-test/Cargo.toml -------------------------------------------------------------------------------- /crates/va-test/examples/prost-build-bug/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /crates/va-test/examples/schemars-bug/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /crates/va-test/examples/syntax/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/va-test/examples/syntax/Cargo.toml -------------------------------------------------------------------------------- /crates/va-test/examples/vstd-dep/src/main.rs: -------------------------------------------------------------------------------- 1 | fn main() { 2 | println!("Hello, world!"); 3 | } 4 | -------------------------------------------------------------------------------- /crates/va-test/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/va-test/src/main.rs -------------------------------------------------------------------------------- /crates/vfs-notify/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs-notify/Cargo.toml -------------------------------------------------------------------------------- /crates/vfs-notify/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs-notify/src/lib.rs -------------------------------------------------------------------------------- /crates/vfs/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/Cargo.toml -------------------------------------------------------------------------------- /crates/vfs/src/anchored_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/anchored_path.rs -------------------------------------------------------------------------------- /crates/vfs/src/file_set.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/file_set.rs -------------------------------------------------------------------------------- /crates/vfs/src/file_set/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/file_set/tests.rs -------------------------------------------------------------------------------- /crates/vfs/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/lib.rs -------------------------------------------------------------------------------- /crates/vfs/src/loader.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/loader.rs -------------------------------------------------------------------------------- /crates/vfs/src/path_interner.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/path_interner.rs -------------------------------------------------------------------------------- /crates/vfs/src/vfs_path.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/vfs_path.rs -------------------------------------------------------------------------------- /crates/vfs/src/vfs_path/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/crates/vfs/src/vfs_path/tests.rs -------------------------------------------------------------------------------- /demo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/demo.gif -------------------------------------------------------------------------------- /docs/dev/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/README.md -------------------------------------------------------------------------------- /docs/dev/architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/architecture.md -------------------------------------------------------------------------------- /docs/dev/debugging.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/debugging.md -------------------------------------------------------------------------------- /docs/dev/guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/guide.md -------------------------------------------------------------------------------- /docs/dev/lsp-extensions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/lsp-extensions.md -------------------------------------------------------------------------------- /docs/dev/style.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/style.md -------------------------------------------------------------------------------- /docs/dev/syntax.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/dev/syntax.md -------------------------------------------------------------------------------- /docs/user/.gitignore: -------------------------------------------------------------------------------- 1 | manual.html 2 | -------------------------------------------------------------------------------- /docs/user/generated_config.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/user/generated_config.adoc -------------------------------------------------------------------------------- /docs/user/manual.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/docs/user/manual.adoc -------------------------------------------------------------------------------- /editors/code/.eslintignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | .eslintrc.js 3 | -------------------------------------------------------------------------------- /editors/code/.eslintrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/.eslintrc.js -------------------------------------------------------------------------------- /editors/code/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/.gitignore -------------------------------------------------------------------------------- /editors/code/.prettierignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | .vscode-test 3 | out 4 | -------------------------------------------------------------------------------- /editors/code/.prettierrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/.prettierrc.js -------------------------------------------------------------------------------- /editors/code/.vscodeignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/.vscodeignore -------------------------------------------------------------------------------- /editors/code/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/LICENSE -------------------------------------------------------------------------------- /editors/code/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/README.md -------------------------------------------------------------------------------- /editors/code/icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/icon.png -------------------------------------------------------------------------------- /editors/code/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/language-configuration.json -------------------------------------------------------------------------------- /editors/code/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/package-lock.json -------------------------------------------------------------------------------- /editors/code/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/package.json -------------------------------------------------------------------------------- /editors/code/src/ast_inspector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/ast_inspector.ts -------------------------------------------------------------------------------- /editors/code/src/bootstrap.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/bootstrap.ts -------------------------------------------------------------------------------- /editors/code/src/client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/client.ts -------------------------------------------------------------------------------- /editors/code/src/commands.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/commands.ts -------------------------------------------------------------------------------- /editors/code/src/config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/config.ts -------------------------------------------------------------------------------- /editors/code/src/ctx.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/ctx.ts -------------------------------------------------------------------------------- /editors/code/src/debug.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/debug.ts -------------------------------------------------------------------------------- /editors/code/src/dependencies_provider.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/dependencies_provider.ts -------------------------------------------------------------------------------- /editors/code/src/diagnostics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/diagnostics.ts -------------------------------------------------------------------------------- /editors/code/src/lang_client.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/lang_client.ts -------------------------------------------------------------------------------- /editors/code/src/lsp_ext.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/lsp_ext.ts -------------------------------------------------------------------------------- /editors/code/src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/main.ts -------------------------------------------------------------------------------- /editors/code/src/persistent_state.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/persistent_state.ts -------------------------------------------------------------------------------- /editors/code/src/run.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/run.ts -------------------------------------------------------------------------------- /editors/code/src/rust_project.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/rust_project.ts -------------------------------------------------------------------------------- /editors/code/src/snippets.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/snippets.ts -------------------------------------------------------------------------------- /editors/code/src/tasks.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/tasks.ts -------------------------------------------------------------------------------- /editors/code/src/test_explorer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/test_explorer.ts -------------------------------------------------------------------------------- /editors/code/src/toolchain.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/toolchain.ts -------------------------------------------------------------------------------- /editors/code/src/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/src/util.ts -------------------------------------------------------------------------------- /editors/code/tests/runTests.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/tests/runTests.ts -------------------------------------------------------------------------------- /editors/code/tests/unit/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/tests/unit/index.ts -------------------------------------------------------------------------------- /editors/code/tests/unit/settings.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/tests/unit/settings.test.ts -------------------------------------------------------------------------------- /editors/code/tsconfig.eslint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/tsconfig.eslint.json -------------------------------------------------------------------------------- /editors/code/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/editors/code/tsconfig.json -------------------------------------------------------------------------------- /lib/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/README.md -------------------------------------------------------------------------------- /lib/la-arena/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/la-arena/Cargo.toml -------------------------------------------------------------------------------- /lib/la-arena/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/la-arena/src/lib.rs -------------------------------------------------------------------------------- /lib/la-arena/src/map.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/la-arena/src/map.rs -------------------------------------------------------------------------------- /lib/line-index/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/line-index/Cargo.toml -------------------------------------------------------------------------------- /lib/line-index/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/line-index/README.md -------------------------------------------------------------------------------- /lib/line-index/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/line-index/src/lib.rs -------------------------------------------------------------------------------- /lib/line-index/src/tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/line-index/src/tests.rs -------------------------------------------------------------------------------- /lib/lsp-server/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/Cargo.toml -------------------------------------------------------------------------------- /lib/lsp-server/LICENSE-APACHE: -------------------------------------------------------------------------------- 1 | ../../LICENSE-APACHE -------------------------------------------------------------------------------- /lib/lsp-server/LICENSE-MIT: -------------------------------------------------------------------------------- 1 | ../../LICENSE-MIT -------------------------------------------------------------------------------- /lib/lsp-server/examples/goto_def.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/examples/goto_def.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/error.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/lib.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/msg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/msg.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/req_queue.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/req_queue.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/socket.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/socket.rs -------------------------------------------------------------------------------- /lib/lsp-server/src/stdio.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/lib/lsp-server/src/stdio.rs -------------------------------------------------------------------------------- /rust-bors.toml: -------------------------------------------------------------------------------- 1 | timeout = 3600 2 | -------------------------------------------------------------------------------- /rust-version: -------------------------------------------------------------------------------- 1 | 3d5d7a24f76006b391d8a53d903ae64c1b4a52d2 2 | -------------------------------------------------------------------------------- /rustfmt.toml: -------------------------------------------------------------------------------- 1 | reorder_modules = true 2 | use_small_heuristics = "Max" 3 | -------------------------------------------------------------------------------- /triagebot.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/triagebot.toml -------------------------------------------------------------------------------- /xtask/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/Cargo.toml -------------------------------------------------------------------------------- /xtask/src/codegen.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen.rs -------------------------------------------------------------------------------- /xtask/src/codegen/assists_doc_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen/assists_doc_tests.rs -------------------------------------------------------------------------------- /xtask/src/codegen/diagnostics_docs.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen/diagnostics_docs.rs -------------------------------------------------------------------------------- /xtask/src/codegen/grammar.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen/grammar.rs -------------------------------------------------------------------------------- /xtask/src/codegen/grammar/ast_src.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen/grammar/ast_src.rs -------------------------------------------------------------------------------- /xtask/src/codegen/lints.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/codegen/lints.rs -------------------------------------------------------------------------------- /xtask/src/dist.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/dist.rs -------------------------------------------------------------------------------- /xtask/src/flags.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/flags.rs -------------------------------------------------------------------------------- /xtask/src/install.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/install.rs -------------------------------------------------------------------------------- /xtask/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/main.rs -------------------------------------------------------------------------------- /xtask/src/metrics.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/metrics.rs -------------------------------------------------------------------------------- /xtask/src/publish.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/publish.rs -------------------------------------------------------------------------------- /xtask/src/publish/notes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/publish/notes.rs -------------------------------------------------------------------------------- /xtask/src/release.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/release.rs -------------------------------------------------------------------------------- /xtask/src/release/changelog.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/src/release/changelog.rs -------------------------------------------------------------------------------- /xtask/test_data/expected.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/test_data/expected.md -------------------------------------------------------------------------------- /xtask/test_data/input.adoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/verus-lang/verus-analyzer/HEAD/xtask/test_data/input.adoc --------------------------------------------------------------------------------