rust/tests/ui/double_neg.rs