{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"query"}]}
    query type_op_ascribe_user_type(
    /// Do not call this query directly: part of the `Eq` type-op
        goal: CanonicalTypeOpAscribeUserTypeGoal<'tcx>