Как из интерфейса получить конкретный тип (type assertion)? Какой вариант безопасный — `m, ok := val.(T)` или `m := val.(T)`?

Так тоже спрашивают:

• Без дженериков, как реализовать логику для неопределённого типа данных — плюсы и минусы type assertion?
• Что такое type switch?