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