In match.with(), tail of double_colon expression simply uses obj[-1], not NULL if length(obj) == 1