squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity
rust/compiler
History
bors c390d69a61 Auto merge of #90281 - xldenis:public-borrow-set, r=nikomatsakis 
Add BorrowSet to public api

This PR adds `BorrowSet` to the public api so that verification tools can obtain the activation and reservation points of two phase borrows without having to redo calculations themselves (and thus potentially differently from rustc).

Turns out we already can obtain `MoveData` thanks to the public `HasMoveData` trait, so constructing a `BorrowSet` should not provide much of an issue. However, I can't speak to the soundness of this approach, is it safe to take an under-approximation of `MoveData`?

r? `@nikomatsakis`
2021-10-28 19:34:01 +00:00
..
rustc
rustc_apfloat Revert "Auto merge of #89709 - clemenswasser:apply_clippy_suggestions_2, r=petrochenkov" 2021-10-15 11:28:23 +02:00
rustc_arena
rustc_ast fix: inner attribute followed by outer attribute causing ICE 2021-10-25 17:31:27 +02:00
rustc_ast_lowering Auto merge of #90145 - cjgillot:sorted-map, r=michaelwoerister 2021-10-28 13:04:40 +00:00
rustc_ast_passes Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_ast_pretty Some "parenthesis" and "parentheses" fixes 2021-10-17 12:04:01 +02:00
rustc_attr Correct typo 2021-10-16 13:36:05 -07:00
rustc_borrowck Auto merge of #90281 - xldenis:public-borrow-set, r=nikomatsakis 2021-10-28 19:34:01 +00:00
rustc_builtin_macros Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_codegen_cranelift Make hash_result an Option. 2021-10-20 18:29:18 +02:00
rustc_codegen_gcc Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_codegen_llvm Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_codegen_ssa Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_const_eval Remove is_const_fn in find_mir_or_eval_fn 2021-10-27 07:21:28 +01:00
rustc_data_structures Auto merge of #90145 - cjgillot:sorted-map, r=michaelwoerister 2021-10-28 13:04:40 +00:00
rustc_driver Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_error_codes Rollup merge of #89922 - JohnTitor:update-e0637, r=jackh726 2021-10-22 19:42:46 +09:00
rustc_errors Auto merge of #89427 - estebank:collect-overlapping-impls, r=jackh726 2021-10-24 22:26:41 +00:00
rustc_expand Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_feature Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_fs_util
rustc_graphviz Revert "Auto merge of #89709 - clemenswasser:apply_clippy_suggestions_2, r=petrochenkov" 2021-10-15 11:28:23 +02:00
rustc_hir Use SortedMap in HIR. 2021-10-21 23:08:57 +02:00
rustc_hir_pretty Auto merge of #89124 - cjgillot:owner-info, r=michaelwoerister 2021-10-18 19:53:05 +00:00
rustc_incremental Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_index update cfg(bootstrap) 2021-10-23 21:55:57 -04:00
rustc_infer Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_interface Auto merge of #85830 - bjorn3:separate_provide_extern, r=cjgillot 2021-10-26 00:38:58 +00:00
rustc_lexer Revert "Auto merge of #89709 - clemenswasser:apply_clippy_suggestions_2, r=petrochenkov" 2021-10-15 11:28:23 +02:00
rustc_lint Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_lint_defs Make all proc-macro back-compat lints deny-by-default 2021-10-18 13:17:05 -05:00
rustc_llvm Rollup merge of #89581 - jblazquez:master, r=Mark-Simulacrum 2021-10-25 22:59:46 +02:00
rustc_macros Avoid a branch on key being local for queries that use the same local and extern providers 2021-10-25 13:36:23 +02:00
rustc_metadata Avoid a branch on key being local for queries that use the same local and extern providers 2021-10-25 13:36:23 +02:00
rustc_middle Auto merge of #90145 - cjgillot:sorted-map, r=michaelwoerister 2021-10-28 13:04:40 +00:00
rustc_mir_build Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_mir_dataflow Ignore errors re: unreachable blocks in dataflow cursor unit tests 2021-10-23 21:55:57 -04:00
rustc_mir_transform Auto merge of #90042 - pietroalbini:1.56-master, r=Mark-Simulacrum 2021-10-25 11:31:47 +00:00
rustc_monomorphize Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_parse Rollup merge of #89257 - aDotInTheVoid:macro-error-2, r=estebank 2021-10-22 19:42:43 +09:00
rustc_parse_format
rustc_passes allow potential_query_instability everywhere 2021-10-15 10:58:18 +02:00
rustc_plugin_impl
rustc_privacy Rollup merge of #89558 - lcnr:query-stable-lint, r=estebank 2021-10-24 15:48:42 +02:00
rustc_query_impl Avoid a branch on key being local for queries that use the same local and extern providers 2021-10-25 13:36:23 +02:00
rustc_query_system Auto merge of #90145 - cjgillot:sorted-map, r=michaelwoerister 2021-10-28 13:04:40 +00:00
rustc_resolve Reverting switching test to no_std and adjust output after rebase. 2021-10-26 22:30:15 -04:00
rustc_save_analysis allow potential_query_instability everywhere 2021-10-15 10:58:18 +02:00
rustc_serialize Revert "Auto merge of #89709 - clemenswasser:apply_clippy_suggestions_2, r=petrochenkov" 2021-10-15 11:28:23 +02:00
rustc_session Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_span Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_symbol_mangling Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_target Auto merge of #89652 - rcvalle:rust-cfi, r=nagisa 2021-10-27 09:19:42 +00:00
rustc_trait_selection fix(rustc_typeck): report function argument errors on matching type 2021-10-25 12:23:52 -07:00
rustc_traits Move some outlives bounds things from rustc_trait_selection to rustc_typeck 2021-10-15 12:14:19 -04:00
rustc_ty_utils Auto merge of #90218 - JakobDegen:adt_significant_drop_fix, r=nikomatsakis 2021-10-28 16:03:13 +00:00
rustc_type_ir
rustc_typeck Rollup merge of #90288 - JakobDegen:import_diagnostics, r=davidtwco 2021-10-27 18:25:46 +02:00