New: add no-void rule (fixes #1017).