bors e9f29a8519 Auto merge of #89030 - nbdd0121:box2, r=jonas-schievink ... Introduce `Rvalue::ShallowInitBox` Polished version of #88700. Implements MCP rust-lang/compiler-team#460, and should allow #43596 to go forward. In short, creating an empty box is split from a nullary-op `NullOp::Box` into two steps, first a call to `exchange_malloc`, then a `Rvalue::ShallowInitBox` which transmutes `*mut u8` to a shallow-initialized `Box<T>`. This allows the `exchange_malloc` call to unwind. Details can be found in the MCP. `NullOp::Box` is not yet removed, purely to make reverting easier in case anything goes wrong as the result of this PR. If revert is needed a reversion of "Use Rvalue::ShallowInitBox for box expression" commit followed by a test bless should be sufficient. Experiments in #88700 showed a very slight compile-time perf regression due to (supposedly) slightly more time spent in LLVM. We could omit unwind edge generation (in non-`oom=panic` case) in box expression MIR construction to restore perf; but I don't think it's necessary since runtime perf isn't affected and perf difference is rather small.		2021-09-25 11:01:13 +00:00
..
constraints	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
diagnostics	Auto merge of #88708 - Aaron1011:aggregate-usage, r=oli-obk	2021-09-20 00:53:13 +00:00
region_infer	Check that TAIT generics are fully generic in mir typeck instead of wf-check, as wf-check can by definition only check TAIT in return position and not account for TAITs defined in the body of the function	2021-09-23 13:35:16 +00:00
type_check	Auto merge of #89030 - nbdd0121:box2, r=jonas-schievink	2021-09-25 11:01:13 +00:00
borrow_set.rs	Move the dataflow framework to its own crate.	2021-09-07 19:57:07 +02:00
borrowck_errors.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
constraint_generation.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
consumers.rs	Allow call to get_body_with_borrowck_facts without -Z polonius	2021-09-15 11:45:31 -07:00
dataflow.rs	Move the dataflow framework to its own crate.	2021-09-07 19:57:07 +02:00
def_use.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
facts.rs	Move the dataflow framework to its own crate.	2021-09-07 19:57:07 +02:00
invalidation.rs	Introduce Rvalue::ShallowInitBox	2021-09-25 01:08:41 +01:00
lib.rs	Introduce Rvalue::ShallowInitBox	2021-09-25 01:08:41 +01:00
location.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
member_constraints.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
nll.rs	Allow call to get_body_with_borrowck_facts without -Z polonius	2021-09-15 11:45:31 -07:00
path_utils.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
place_ext.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
places_conflict.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
prefixes.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
renumber.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
universal_regions.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00
used_muts.rs	Move rustc_mir::borrow_check to new crate rustc_borrowck.	2021-09-07 00:29:22 +02:00