replace `Not` example with something more evocative#35827

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

matthew-piziak:neg-examplematthew-piziak/rust:neg-exampleCopy head branch name to clipboard