Type inference is the ability to automatically deduce, either partially or fully, the type of an expression at compile time. The compiler is often able to infer the type of a variable or the type signature of a function, without explicit type annotations having been given.
A core type, an abstract construct introduced to simplify generic operands, replaces the concept of underlying type in Go's language specification, emphasizing the importance of compile-time type safety.