fix #5619, syntax quirk allowing a::anything::b as a formal argument