fun foo(x: Any): String {
    return <expr>x as String</expr>
}