expression: b
smartCastInfo:
    originalType: B
    smartCastType: C
    isStable: true
