Commit output with new ruleset names

tests/snapshots/bundle_rules@rfc3627_2021_always_eat_both-Let.snap

@@ -0,0 +1,143 @@
+---
+source: src/analyses/compute_rules.rs
+info:
+  bundle_name: rfc3627_2021_always_eat_both
+  options:
+    match_constructor_through_ref: true
+    eat_inherited_ref_alone: true
+    inherited_ref_on_ref: EatBoth
+    fallback_to_outer: EatBoth
+    allow_ref_pat_on_ref_mut: true
+    simplify_deref_mut: true
+    downgrade_mut_inside_shared: true
+    eat_mut_inside_shared: true
+    ref_binding_on_inherited: ResetBindingMode
+    mut_binding_on_inherited: ResetBindingMode
+---
+let p0: T0 = e.0,  let p1: T1 = e.1
+----------------------------------- "Constructor"
+let [p0, p1]: [T0, T1] = e
+
+let p0: &T0 = &(*e).0,  let p1: &T1 = &(*e).1
+--------------------------------------------- "ConstructorRef"
+let [p0, p1]: &[T0, T1] = e
+
+let p0: &mut T0 = &mut (*e).0,  let p1: &mut T1 = &mut (*e).1
+------------------------------------------------------------- "ConstructorRef"
+let [p0, p1]: &mut [T0, T1] = e, e mutable
+
+let p0: &T0 = &(*e).0,  let p1: &T1 = &(*e).1
+--------------------------------------------- "ConstructorRef(ForceReadOnly)"
+let [p0, p1]: &mut [T0, T1] = e, e read-only
+
+let [p0, p1]: &T = &**e
+----------------------- "ConstructorMultiRef"
+let [p0, p1]: &&T = e
+
+let [p0, p1]: &T = &**e
+------------------------- "ConstructorMultiRef"
+let [p0, p1]: &&mut T = e
+
+let [p0, p1]: &T = &**e
+------------------------- "ConstructorMultiRef"
+let [p0, p1]: &mut &T = e
+
+let [p0, p1]: &mut T = &mut **e
+---------------------------------------- "ConstructorMultiRef"
+let [p0, p1]: &mut &mut T = e, e mutable
+
+let [p0, p1]: &T = &**e
+------------------------------------------ "ConstructorMultiRef(ForceReadOnly)"
+let [p0, p1]: &mut &mut T = e, e read-only
+
+let p: T = *e
+------------------------------------ "Deref(EatOuter)"
+let &p: &T = e, e is not a reference
+
+let p: T = *&e
+------------------------------------- "Deref(EatOuter)"
+let &p: &T = &e, T is not a reference
+
+let p: T = *e
+-------------------------------------------- "Deref(EatOuter)"
+let &mut p: &mut T = e, e is not a reference
+
+let p: T = *&mut e
+------------------------------------------------- "Deref(EatOuter)"
+let &mut p: &mut T = &mut e, T is not a reference
+
+let p: T = *e
+---------------- "Deref(EatBoth)"
+let &p: &&T = &e
+
+let p: T = *e
+------------------------ "Deref(EatBoth)"
+let &p: &mut &T = &mut e
+
+let p: T = *e
+------------------------ "Deref(EatBoth)"
+let &mut p: &&mut T = &e
+
+let p: T = *e
+-------------------------------- "Deref(EatBoth)"
+let &mut p: &mut &mut T = &mut e
+
+let p: T = **&mut e
+---------------------------- "Deref(EatBoth, FallbackToOuter(EatBoth))"
+let &mut p: &mut &T = &mut e
+
+let p: T = *&*e
+---------------------------------------- "DerefMutWithShared(EatOuter)"
+let &p: &mut T = e, e is not a reference
+
+let p: T = *&*&mut e
+--------------------------------------------- "DerefMutWithShared(EatOuter)"
+let &p: &mut T = &mut e, T is not a reference
+
+let p: T = *&*e
+-------------------- "DerefMutWithShared(EatBoth)"
+let &p: &&mut T = &e
+
+let p: T = *&*e
+---------------------------- "DerefMutWithShared(EatBoth)"
+let &p: &mut &mut T = &mut e
+
+let ref x: T = e
+------------------ "RefBindingResetBindingMode"
+let ref x: &T = &e
+
+let ref x: T = e
+-------------------------- "RefBindingResetBindingMode"
+let ref x: &mut T = &mut e
+
+let ref mut x: T = e
+---------------------- "RefBindingResetBindingMode"
+let ref mut x: &T = &e
+
+let ref mut x: T = e
+------------------------------ "RefBindingResetBindingMode"
+let ref mut x: &mut T = &mut e
+
+let mut x: T = e
+------------------ "MutBindingResetBindingMode"
+let mut x: &T = &e
+
+let mut x: T = e
+-------------------------- "MutBindingResetBindingMode"
+let mut x: &mut T = &mut e
+
+let x: &T = &e
+-------------------------------------- "BindingBorrow"
+let ref x: T = e, e is not a reference
+
+let x: &mut T = &mut e
+------------------------------------------ "BindingBorrow"
+let ref mut x: T = e, e is not a reference
+
+
+------------ "Binding"
+let x: T = e
+
+
+-------------------------------------- "Binding"
+let mut x: T = e, e is not a reference

tests/snapshots/bundle_rules@rfc3627_2021_always_eat_both-SequentInMemory.snap

@@ -0,0 +1,175 @@
+---
+source: src/analyses/compute_rules.rs
+info:
+  bundle_name: rfc3627_2021_always_eat_both
+  options:
+    match_constructor_through_ref: true
+    eat_inherited_ref_alone: true
+    inherited_ref_on_ref: EatBoth
+    fallback_to_outer: EatBoth
+    allow_ref_pat_on_ref_mut: true
+    simplify_deref_mut: true
+    downgrade_mut_inside_shared: true
+    eat_mut_inside_shared: true
+    ref_binding_on_inherited: ResetBindingMode
+    mut_binding_on_inherited: ResetBindingMode
+---
+move, m ⊢ p0: T0,  move, m ⊢ p1: T1
+----------------------------------- "Constructor"
+move, m ⊢ [p0, p1]: [T0, T1]
+
+ref, ro ⊢ p0: T0,  ref, ro ⊢ p1: T1
+----------------------------------- "ConstructorRef"
+move, m ⊢ [p0, p1]: &[T0, T1]
+
+ref, ro ⊢ p0: T0,  ref, ro ⊢ p1: T1
+----------------------------------- "ConstructorRef"
+ref, m ⊢ [p0, p1]: [T0, T1]
+
+ref mut, rw ⊢ p0: T0,  ref mut, rw ⊢ p1: T1
+------------------------------------------- "ConstructorRef"
+move, rw ⊢ [p0, p1]: &mut [T0, T1]
+
+ref mut, rw ⊢ p0: T0,  ref mut, rw ⊢ p1: T1
+------------------------------------------- "ConstructorRef"
+ref mut, rw ⊢ [p0, p1]: [T0, T1]
+
+ref, ro ⊢ p0: T0,  ref, ro ⊢ p1: T1
+----------------------------------- "ConstructorRef(ForceReadOnly)"
+move, ro ⊢ [p0, p1]: &mut [T0, T1]
+
+ref, ro ⊢ p0: T0,  ref, ro ⊢ p1: T1
+----------------------------------- "ConstructorRef(ForceReadOnly)"
+ref mut, ro ⊢ [p0, p1]: [T0, T1]
+
+ref, ro ⊢ [p0, p1]: T
+----------------------- "ConstructorMultiRef"
+move, m ⊢ [p0, p1]: &&T
+
+ref, ro ⊢ [p0, p1]: T
+--------------------------- "ConstructorMultiRef"
+move, m ⊢ [p0, p1]: &&mut T
+
+ref, ro ⊢ [p0, p1]: T
+--------------------- "ConstructorMultiRef"
+ref, m ⊢ [p0, p1]: &T
+
+ref, ro ⊢ [p0, p1]: T
+------------------------- "ConstructorMultiRef"
+ref, m ⊢ [p0, p1]: &mut T
+
+ref, ro ⊢ [p0, p1]: T
+--------------------------- "ConstructorMultiRef"
+move, m ⊢ [p0, p1]: &mut &T
+
+ref mut, rw ⊢ [p0, p1]: T
+-------------------------------- "ConstructorMultiRef"
+move, rw ⊢ [p0, p1]: &mut &mut T
+
+ref, ro ⊢ [p0, p1]: T
+------------------------- "ConstructorMultiRef"
+ref mut, m ⊢ [p0, p1]: &T
+
+ref mut, rw ⊢ [p0, p1]: T
+------------------------------ "ConstructorMultiRef"
+ref mut, rw ⊢ [p0, p1]: &mut T
+
+ref, ro ⊢ [p0, p1]: T
+-------------------------------- "ConstructorMultiRef(ForceReadOnly)"
+move, ro ⊢ [p0, p1]: &mut &mut T
+
+ref, ro ⊢ [p0, p1]: T
+------------------------------ "ConstructorMultiRef(ForceReadOnly)"
+ref mut, ro ⊢ [p0, p1]: &mut T
+
+move, ro ⊢ p: T
+---------------- "Deref(EatOuter)"
+move, m ⊢ &p: &T
+
+move, ro ⊢ p: T
+------------------------------------ "Deref(EatOuter)"
+ref, m ⊢ &p: T, T is not a reference
+
+move, m ⊢ p: T
+------------------------ "Deref(EatOuter)"
+move, m ⊢ &mut p: &mut T
+
+move, m ⊢ p: T
+-------------------------------------------- "Deref(EatOuter)"
+ref mut, m ⊢ &mut p: T, T is not a reference
+
+move, ro ⊢ p: T
+--------------- "Deref(EatBoth)"
+ref, m ⊢ &p: &T
+
+move, ro ⊢ p: T
+------------------- "Deref(EatBoth)"
+ref mut, m ⊢ &p: &T
+
+move, m ⊢ p: T
+----------------------- "Deref(EatBoth)"
+ref, m ⊢ &mut p: &mut T
+
+move, m ⊢ p: T
+--------------------------- "Deref(EatBoth)"
+ref mut, m ⊢ &mut p: &mut T
+
+move, ro ⊢ p: T
+----------------------- "Deref(EatBoth, FallbackToOuter(EatBoth))"
+ref mut, m ⊢ &mut p: &T
+
+move, ro ⊢ p: T
+-------------------- "DerefMutWithShared(EatOuter)"
+move, m ⊢ &p: &mut T
+
+move, ro ⊢ p: T
+---------------------------------------- "DerefMutWithShared(EatOuter)"
+ref mut, m ⊢ &p: T, T is not a reference
+
+move, ro ⊢ p: T
+------------------- "DerefMutWithShared(EatBoth)"
+ref, m ⊢ &p: &mut T
+
+move, ro ⊢ p: T
+----------------------- "DerefMutWithShared(EatBoth)"
+ref mut, m ⊢ &p: &mut T
+
+bm, m ⊢ ref x: T
+----------------- "RefBindingResetBindingMode"
+ref, m ⊢ ref x: T
+
+bm, m ⊢ ref x: T
+--------------------- "RefBindingResetBindingMode"
+ref mut, m ⊢ ref x: T
+
+bm, m ⊢ ref mut x: T
+--------------------- "RefBindingResetBindingMode"
+ref, m ⊢ ref mut x: T
+
+bm, m ⊢ ref mut x: T
+------------------------- "RefBindingResetBindingMode"
+ref mut, m ⊢ ref mut x: T
+
+bm, m ⊢ mut x: T
+----------------- "MutBindingResetBindingMode"
+ref, m ⊢ mut x: T
+
+bm, m ⊢ mut x: T
+--------------------- "MutBindingResetBindingMode"
+ref mut, m ⊢ mut x: T
+
+ref, m ⊢ x: T
+------------------ "BindingBorrow"
+move, m ⊢ ref x: T
+
+ref mut, m ⊢ x: T
+---------------------- "BindingBorrow"
+move, m ⊢ ref mut x: T
+
+
+------------ "Binding"
+bm, m ⊢ x: T
+
+
+------------------ "Binding"
+move, m ⊢ mut x: T