有了类型推断，编译器可以通过强制解决计算出变量类型，而不是使程序员明确声明它们。

With type inference, the compiler figures out the types of variables based on constraint solving, rather than making the programmer declare them explicitly.

youdao

这可以是有帮助，如果您想要变更您的工作区中的项目，然后将它签入不必强制解决合并冲突。

This can be helpful if you want to change an item in your workspace and then check it in without being forced to resolve any merge conflicts.

youdao

他已经试图采取强制性法令来解决该国的问题。

He has tried to impose solutions to the country's problems by fiat.

《柯林斯英汉双解大词典》

Or enforcement is the case, enforcement is the problem, but it's not the answer.

或者说，我们的确在实施它，但这种强制性的实施并非解决办法。

普林斯顿公开课 - 人性课程节选