主要观点：Go 1.18 引入泛型及相关新特性，包括类型参数、类型约束和核心类型等。核心类型的引入是为了简化处理泛型操作数，但存在诸多问题，如规则受限、理解复杂、导致例外增多等。Go 1.25 决定从语言规范中移除核心类型概念，以带来多方面好处，如使规范更易学习、非泛型代码行为更易理解、为更灵活规则打开大门等，相关提案已获批准并实施，语言规范中的相关内容已恢复为原有形式且更易理解，同时编译器错误消息也更具体。

关键信息：

• Go 1.18 引入的泛型相关概念及核心类型定义。
• 核心类型在不同操作（如 Send 语句、切片表达式等）中的规则及问题。
• Go 1.25 移除核心类型概念的决定及带来的好处。
• 语言规范中关于核心类型的相关内容修改示例（如close函数）。

重要细节：

• 类型参数是未来类型参数的占位符，类型约束描述其可操作的类型集合。
• 核心类型定义：非类型参数的核心类型是其底层类型，类型参数的核心类型是其类型集合中所有类型的单个底层类型，若类型集合有不同底层类型则核心类型不存在。
• Go 1.25 相关提案批准及修改内容，如语言规范恢复原有形式、编译器错误消息更具体等。