{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//"}]}
            // Fast path for the common case.
        if let (Some(a), Some(b)) = (a.no_bound_vars(), b.no_bound_vars()) {
            self.relate(a, b)?;