diff options
Diffstat (limited to '058shape_shifting_container.cc')
| -rw-r--r-- | 058shape_shifting_container.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/058shape_shifting_container.cc b/058shape_shifting_container.cc index c9975b44..acdd4081 100644 --- a/058shape_shifting_container.cc +++ b/058shape_shifting_container.cc @@ -173,7 +173,9 @@ void replace_type_ingredient(type_tree* element_type, const type_tree* callsite_ } const type_tree* replacement = nth_type(callsite_type, element_type->value-START_TYPE_INGREDIENTS); element_type->value = replacement->value; + assert(!element_type->left); // since value is set element_type->left = replacement->left ? new type_tree(*replacement->left) : NULL; + assert(!element_type->right); // unsupported element_type->right = replacement->right ? new type_tree(*replacement->right) : NULL; } replace_type_ingredient(element_type->right, callsite_type); |