{"ast_node_type":"other","tokens":[{"end":127,"kind":"keyword","start":0,"text":"//"}]}
                                    // between different structs, so there is no way this ever actually defines an opaque type.
                                    // We're already using inference variables for any params, and don't allow converting
                                    // Thus choosing `Yes` is fine.