I think we should leave room for experimentation here. Just like we are leaving room for experimentation around allowing constraint on submethod params. That's why I did not specify it as an exception case.