JIT: _Py_uop_sym_set_recorded_type may receive a non-type at trace optimization time.

Bug report

Bug description:

_Py_uop_sym_set_recorded_type asserts PyType_Check, but it's possible to have an instance change its __class__/type to a non-PyType_Check-ed class after JIT trace but right before JIT optimization time.

I think the fix is to convert that to a check instead of an assert?

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

まず、_Py_uop_sym_set_recorded_type と、それを呼び出す JIT トレース最適化パスを特定します。レポートに記載された class の変更を再現し、その後、最適化が PyType_Check-済みではないクラスをアサーション失敗なしで処理できることを確認し、該当するテスト箇所が見つかった場合は回帰テストを追加または更新します。