Remove Stateless display style

Nadrieril · Jan 1, 2025 · c0e2c65 · c0e2c65
1 parent dce976f
commit c0e2c65
Show file tree

Hide file tree

Showing 9 changed files with 4 additions and 97 deletions.
diff --git a/src/analyses/compute_rules.rs b/src/analyses/compute_rules.rs
@@ -237,14 +237,6 @@ impl PredicateStyle {
                 show_scrut_access: true,
             },
         ),
-        (
-            "Stateless",
-            PredicateStyle::Sequent {
-                ty: TypeOfInterest::UserVisible,
-                show_reference_state: false,
-                show_scrut_access: false,
-            },
-        ),
     ];
 
     pub fn to_name(&self) -> Option<&str> {

diff --git a/src/cli.rs b/src/cli.rs
@@ -49,18 +49,10 @@ impl CliState {
                 name: "Sequent",
                 doc: "TODO",
             },
-            OptionValue {
-                name: "BindingMode",
-                doc: "TODO",
-            },
             OptionValue {
                 name: "SequentBindingMode",
                 doc: "TODO",
             },
-            OptionValue {
-                name: "Stateless",
-                doc: "TODO",
-            },
         ],
         doc: "the style of the typing predicate; not all rulesets can be expressed in all styles, \
         only `Expression` is compatible with all rulesets",

diff --git a/tests/snapshots/bundle_rules@stateless-Stateless.snap b/tests/snapshots/bundle_rules@stateless-Stateless.snap
diff --git a/tests/snapshots/trace_cli@11515459865669657874.snap b/tests/snapshots/trace_cli@11515459865669657874.snap
@@ -25,7 +25,7 @@ Options are:
     How to handle a `mut x` binding on an inherited reference
 - simplify_deref_mut: false | true
     Whether to simplify `*&mut expr`, which removes some borrow errors
-- predicate_style: Expression | Sequent | BindingMode | SequentBindingMode | Stateless
+- predicate_style: Expression | Sequent | SequentBindingMode
     the style of the typing predicate; not all rulesets can be expressed in all styles, only `Expression` is compatible with all rulesets
 
 There also exist some predefined option-bundles. Activate one with `set <bundle>`

diff --git a/tests/snapshots/trace_cli@16736406663811832092.snap b/tests/snapshots/trace_cli@16736406663811832092.snap
@@ -25,7 +25,7 @@ Options are:
     How to handle a `mut x` binding on an inherited reference
 - simplify_deref_mut: false | true
     Whether to simplify `*&mut expr`, which removes some borrow errors
-- predicate_style: Expression | Sequent | BindingMode | SequentBindingMode | Stateless
+- predicate_style: Expression | Sequent | SequentBindingMode
     the style of the typing predicate; not all rulesets can be expressed in all styles, only `Expression` is compatible with all rulesets
 
 There also exist some predefined option-bundles. Activate one with `set <bundle>`

diff --git a/tests/snapshots/trace_cli@17515479014605656910.snap b/tests/snapshots/trace_cli@17515479014605656910.snap
@@ -25,7 +25,7 @@ Options are:
     How to handle a `mut x` binding on an inherited reference
 - simplify_deref_mut: false | true
     Whether to simplify `*&mut expr`, which removes some borrow errors
-- predicate_style: Expression | Sequent | BindingMode | SequentBindingMode | Stateless
+- predicate_style: Expression | Sequent | SequentBindingMode
     the style of the typing predicate; not all rulesets can be expressed in all styles, only `Expression` is compatible with all rulesets
 
 There also exist some predefined option-bundles. Activate one with `set <bundle>`

diff --git a/tests/snapshots/trace_cli@3615762548608754050.snap b/tests/snapshots/trace_cli@3615762548608754050.snap
@@ -26,7 +26,7 @@ Options are:
     How to handle a `mut x` binding on an inherited reference
 - simplify_deref_mut: false | true
     Whether to simplify `*&mut expr`, which removes some borrow errors
-- predicate_style: Expression | Sequent | BindingMode | SequentBindingMode | Stateless
+- predicate_style: Expression | Sequent | SequentBindingMode
     the style of the typing predicate; not all rulesets can be expressed in all styles, only `Expression` is compatible with all rulesets
 
 There also exist some predefined option-bundles. Activate one with `set <bundle>`

diff --git a/tests/snapshots/trace_cli@6722020181128628927.snap b/tests/snapshots/trace_cli@6722020181128628927.snap
diff --git a/tests/trace_cli.rs b/tests/trace_cli.rs
@@ -23,7 +23,6 @@ fn trace_cli() -> anyhow::Result<()> {
         "set rfc3627\nset predicate_style SequentBindingMode\nrules",
         "save\nset downgrade_mut_inside_shared true\nswap\ncompare",
         "save\nset structural\nswap\nrules",
-        "set predicate_style Stateless",
         "set stable_rust\n[&x]: &[AT]",
         "&ap: &T",
         "set predicate_style SequentBindingMode",