{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"expected_sigs.liberated_sig.output(),"}]}
                expected_sigs.liberated_sig.output(),
                DefineOpaqueTypes::Yes,
                supplied_output_ty,