diff options
| -rw-r--r-- | 032exclusive_container.cc | 5 | ||||
| -rw-r--r-- | 057shape_shifting_container.cc | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/032exclusive_container.cc b/032exclusive_container.cc index e9f918f4..e071cf52 100644 --- a/032exclusive_container.cc +++ b/032exclusive_container.cc @@ -31,7 +31,10 @@ def main [ +mem: storing 35 in location 6 :(before "End size_of(type) Cases") -if (t.kind == EXCLUSIVE_CONTAINER) return get(Container_metadata, type).size; +if (t.kind == EXCLUSIVE_CONTAINER) { + // Compute size_of Exclusive Container + return get(Container_metadata, type).size; +} :(before "End compute_container_metadata Cases") if (info.kind == EXCLUSIVE_CONTAINER) { container_metadata metadata; diff --git a/057shape_shifting_container.cc b/057shape_shifting_container.cc index 92c2475a..183ec36b 100644 --- a/057shape_shifting_container.cc +++ b/057shape_shifting_container.cc @@ -262,6 +262,8 @@ void replace_type_ingredients(reagent& element, const type_tree* caller_type, co :(after "Compute size_of Container") assert(!contains_type_ingredient(type)); +:(after "Compute size_of Exclusive Container") +assert(!contains_type_ingredient(type)); :(code) bool contains_type_ingredient(const reagent& x) { |