6.7 限制特质的拓展（仅支持具有特定方法的类型）