Decision selectors have their own type: a learning operation or payload
cannot accidentally stand in for a branch predicate. Unconditional protocols
use this uninhabited type, so no unavailable selector is replaced by a value.
10family ProtocolNoDecision : Type 0The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.