{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                    // Users don't write this directly, only via another trait ref.
                    | ClauseKind::ConstEvaluatable(..)
                    | ty::ClauseKind::HostEffect(..) => continue,