A required input must always be provided by all alternative branches.

一个必不可少的输入必须始终由所有的可选分支提供。