为什么MISRA-C在某些情况下不允许隐式扩大类型？

MISRA-C:2004规则10.1不允许隐式扩展函数参数或返回表达式的类型,如以下代码片段所示:

void foo1(int16_t x);

int16_t foo2(void) 
{
    int8_t s8a;
    ...
    foo1(s8a);                               /* not compliant */
    ...
    return s8a;                              /* not compliant */
}

但是,根据我的理解,它们与分配情况没有什么不同:

s16a = s8a;                                  /* compliant     */

重点是什么？谢谢.