Indeed, i don't see anything about it that's particularly type-safe, and the claim is not discussed beyond the bullet point at the top.