{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"\"opaque"}]}
                            "opaque type with non-universal region args",
                            concrete_type.span,
                        )