"The bound variable `c` is only usable in the corresponding arm." (Although I'm not sure this sentence is necessary, since this behaviour is the default. No harm in having it.)