为什么编译器在这种情况下不使用Numeric.plus？

在这种情况下，编译器可能不使用Numeric.plus的原因是因为Numeric.plus是一个通用的数值相加函数，它可以用于不同类型的数值相加操作。然而，在某些情况下，编译器可能会选择使用特定类型的相加函数，以提高性能和减少资源消耗。

当编译器能够确定操作数的具体类型时，它可以直接调用该类型的相加函数，而不是使用通用的Numeric.plus。这样做可以避免类型转换和额外的运行时开销，提高代码的执行效率。

另外，特定类型的相加函数可能还具有一些优化，例如使用硬件加速或并行计算等技术，以进一步提高性能。因此，在编译器能够确定操作数类型的情况下，它通常会选择使用特定类型的相加函数。

总结起来，编译器在某些情况下不使用Numeric.plus的原因可能是为了提高性能、减少资源消耗，并利用特定类型相加函数的优化特性。