spec type arg inference and args with no type