Only apply to precondition, though

Hendrik van Antwerpen · Hendrik van Antwerpen · commit a127010427bf · 2023-03-06T17:48:38.000+01:00
diff --git a/stack-graphs/src/partial.rs b/stack-graphs/src/partial.rs
@@ -2440,15 +2440,6 @@ impl PartialPath {
             .apply_partial_bindings(partials, &scope_bindings)
             .unwrap();
 
-        self.symbol_stack_postcondition = self
-            .symbol_stack_postcondition
-            .apply_partial_bindings(partials, &symbol_bindings, &scope_bindings)
-            .unwrap();
-        self.scope_stack_postcondition = self
-            .scope_stack_postcondition
-            .apply_partial_bindings(partials, &scope_bindings)
-            .unwrap();
-
         self.end_node = node;
 
         Ok(())
