// ISSUE: KT-39080// !DUMP_CFGprivatesealedclassSealedprivatedata classSubClass1(valt:String):Sealed()privatedata classSubClass2:Sealed()privatefunfoo(p:Sealed){when(p){isSubClass1->"".let{it}isSubClass2->""}p.<!UNRESOLVED_REFERENCE!>t<!>// should not be resolved, but it has a smartcast to SubClass1 because of the lambdawhen(p){isSubClass1->p.tisSubClass2->"2"}.length// should be resolved, but when is not considered as sealed because type of p is not a sealed class