11.2.2 函数类型的恢复