method spec_ty_view = spec_ty_view