They are called type assertions, I believe they are type safe, albeit at runtime. It will panic if the assertion is incorrect.