type hint for as expr