Check for argument indexing switch

This commit is contained in:
Victor Zverovich
2017-09-27 21:18:37 -07:00
parent d45544d14e
commit 643fb0662e
2 changed files with 5 additions and 0 deletions

View File

@@ -3296,6 +3296,7 @@ class dynamic_specs_handler :
template <typename Id>
arg_ref_type make_arg_ref(Id arg_id) {
context_.check_arg_id(arg_id);
return arg_ref_type(arg_id);
}