exception-free Dex.get_ty_str