Diffirintiate between index and newindex

Will it be possible to set different types for index and newindex metamethods?

My use case is tree structure that return new tree_node from index and stores data when newindex is called.

If I use generic {[key]:new_index_type} it works almost fine but index return incorrect types.

Below is example of what I'm trying to achive

この issue では __index と __newindex のメタメソッドが挙げられ、tree_node のユースケースが示されていますが、ソースファイルやテストは特定されていません。まず、これらのメタメソッドに対する型推論の処理箇所を見つけ、報告されているジェネリックテーブルの挙動を再現してください。index と newindex が例を壊すことなく異なる型を受け取れるようになれば完了です。