{"ast_node_type":"other","tokens":[{"end":121,"kind":"keyword","start":0,"text":"//"}]}
                                    // We're already using inference variables for any params, and don't allow converting
                                match self.at(&cause, self.param_env).sup(
                                    // between different structs, so there is no way this ever actually defines an opaque type.