546   lsp::Hover hover(lsp::Range(sourceMgr, hoverRange));  in buildHoverForOpName()  local
548     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForOpName()
553   return hover;  in buildHoverForOpName()
558   lsp::Hover hover(lsp::Range(sourceMgr, hoverRange));  in buildHoverForVariable()  local
560     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForVariable()
564   return hover;  in buildHoverForVariable()
569   lsp::Hover hover(lsp::Range(sourceMgr, hoverRange));  in buildHoverForPattern()  local
571     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForPattern()
587   return hover;  in buildHoverForPattern()
593   lsp::Hover hover(lsp::Range(sourceMgr, hoverRange));  in buildHoverForCoreConstraint()  local
595     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForCoreConstraint()
614   return hover;  in buildHoverForCoreConstraint()
620   lsp::Hover hover(lsp::Range(sourceMgr, hoverRange));  in buildHoverForUserConstraintOrRewrite()  local
622     llvm::raw_string_ostream hoverOS(hover.contents.value);  in buildHoverForUserConstraintOrRewrite()
654   return hover;  in buildHoverForUserConstraintOrRewrite()