{"ast_node_type":"variable","tokens":[{"end":56,"kind":"keyword","start":0,"text":"if"}]}
                if let ty::RePlaceholder(p) = lub.kind()
                // (This might e.g. arise from being asked to prove `for<'a> { 'b: 'a }`.)
                    && b_universe.cannot_name(p.universe)