6.7.3 infer关键字