Unsafe smart casts for open or custom getter

[ice1000]

I know exactly the issue, but sometimes they’re logically impossible to change. what I want is to tell the compiler that do not check this problem. It can be successfully compiled as unsafe code.