Smart cast to non-null invalidated by the elvis operator?

We have a couple of issues open about receiver smart casting after elvis calls and other conditional operators. See KT-4565 and its related issues.