def veryLongDefinitionNameVeryLongDefinitionName := 1
def test (veryLongDefinitionName : Nat) := veryLongDefinitionName
                                                              --^ textDocument/completion
