ここで言ってるのは

but it does not conform to every protocol:

だからNever: Pが常に成り立つとは限らないという話？