{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"specialization_kind:"}]}
            specialization_kind: self.specialization_kind.stable(tables, cx),
            skip_boxed_slice_during_method_dispatch: self.skip_boxed_slice_during_method_dispatch,
            must_implement_one_of: self