// we implement this on VM, e.g: class CurrentOccupationViewModel : CurrentOccupationState
interface CurrentOccupationState {
    val hasNoWorkExperience: LiveData<NoWorkExperienceState> // we're still not using <Flow> in this phase of compose migration
    fun hasNoWorkExperience(hasNoWorkExperience: NoWorkExperienceState)
}

// CurrentOccupationScreen.kt

sealed class NoWorkExperienceState {
    data class NullExperience(val message: String) :
        NoWorkExperienceState()
    object WithExperience : NoWorkExperienceState()
}

@Composable
fun CurrentOccupationScreen(state: CurrentOccupationScreen) {
    val hasNoWorkExperience by state.hasNoWorkExperience.observeAsState()
    when(hasNoWorkExperience){
        is NoWorkExperienceState.NullExperience -> {
            val nullExperience = hasNoWorkExperience as NoWorkExperienceState.NullExperience
            println(nullExperience.message)
            // Smart cast to 'NoWorkExperienceState.NullExperience' is impossible, because 'hasNoWorkExperience' is a property that has open or custom getter       
            println(hasNoWorkExperience?.message) 
            // Showing toast for now
        }
        NoWorkExperienceState.WithExperience -> {}
    }
}

Any other suggestion for the above case? or we should use manual casting

as

, without smart cast (because it’s intended/impossible as of now?) The above code showing below error:

Smart cast to 'NoWorkExperienceState.NullExperience' is impossible, because 'hasNoWorkExperience' is a property that has open or custom getter