_______ is used to explicitly check if a value implements a specific interface in Go.

Type assertion in Go is employed to explicitly check whether a value implements a particular interface. It provides a safe and idiomatic way to work with interfaces by allowing programmers to examine and utilize the underlying concrete type. This feature is crucial for handling interface types dynamically and ensures type safety within the code.