[cs] set_prop when the type is an abstract is typed as its underlying type