Assumptions are used to specify conditions that are supposed to be met but which the compiler cannot verify due to its limitations.

假定用于指定“期望”应该符合的条件，而由于某些限制，该条件无法得到编译器的验证。