disallow => with void for split functions and shortcut refinement #479
disallow => in argument to void parameter for #479