{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"*expected_ty,"}]}
                    *expected_ty,
                    DefineOpaqueTypes::Yes,
                    supplied_ty,