+ auto_|| operator