diff options
Diffstat (limited to '055shape_shifting_container.cc')
-rw-r--r-- | 055shape_shifting_container.cc | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/055shape_shifting_container.cc b/055shape_shifting_container.cc index 707ac125..061cd0ef 100644 --- a/055shape_shifting_container.cc +++ b/055shape_shifting_container.cc @@ -20,6 +20,13 @@ if (!base_type->atom) base_type = base_type->left; :(after "Update MAYBE_CONVERT base_type in Check") if (!base_type->atom) base_type = base_type->left; +:(scenario ill_formed_container) +% Hide_errors = true; +def main [ + {1: ((foo) num)} <- copy 0 +] +# no crash + :(scenario size_of_shape_shifting_container) container foo:_t [ x:_t |