def uncovered_range_to_diagnostic(uncovered_range: CodeRange) -> lsp.Diagnostic:
    return lsp.Diagnostic(range=lsp.Range(start=lsp.Position(line=(uncovered_range.start.line - 1), character=uncovered_range.start.column), end=lsp.Position(line=(uncovered_range.end.line - 1), character=uncovered_range.end.column)), message='This function is not type checked. Consider adding parameter or return type annotations.')
def uncovered_range_to_diagnostic(uncovered_range: CodeRange) -> lsp.Diagnostic:
    return lsp.Diagnostic(range=lsp.Range(start=lsp.Position(line=(uncovered_range.start.line - 1), character=uncovered_range.start.column), end=lsp.Position(line=(uncovered_range.end.line - 1), character=uncovered_range.end.column)), message='This function is not type checked. Consider adding parameter or return type annotations.')