| struct A { |
| void foo(this auto&& self, int arg); |
| void bar(this A self, int arg); |
| }; |
| |
| int func1() { |
| A a {}; |
| a. |
| } |
| // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-2):5 -std=c++23 %s | FileCheck -check-prefix=CHECK-CC1 %s |
| // CHECK-CC1: COMPLETION: A : A:: |
| // CHECK-NEXT-CC1: COMPLETION: bar : [#void#]bar(<#int arg#>) |
| // CHECK-NEXT-CC1: COMPLETION: foo : [#void#]foo(<#int arg#>) |
| // CHECK-NEXT-CC1: COMPLETION: operator= : [#A &#]operator=(<#const A &#>) |
| // CHECK-NEXT-CC1: COMPLETION: operator= : [#A &#]operator=(<#A &&#>) |
| // CHECK-NEXT-CC1: COMPLETION: ~A : [#void#]~A() |
| |
| struct B { |
| template <typename T> |
| void foo(this T&& self, int arg); |
| }; |
| |
| int func2() { |
| B b {}; |
| b.foo(); |
| } |
| // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-2):9 -std=c++23 %s | FileCheck -check-prefix=CHECK-CC2 %s |
| // CHECK-CC2: OVERLOAD: [#void#]foo(int arg) |
| |
| // TODO: llvm/llvm-project/146649 |
| // This is incorrect behavior. Correct Result should be a variant of, |
| // CC3: should be something like [#void#]foo(<#A self#>, <#int arg#>) |
| // CC4: should be something like [#void#]bar(<#A self#>, <#int arg#>) |
| int func3() { |
| (&A::foo) |
| (&A::bar) |
| } |
| // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-3):10 -std=c++23 %s | FileCheck -check-prefix=CHECK-CC3 %s |
| // CHECK-CC3: COMPLETION: foo : [#void#]foo<<#class self:auto#>>(<#int arg#>) |
| // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-4):10 -std=c++23 %s | FileCheck -check-prefix=CHECK-CC4 %s |
| // CHECK-CC4: COMPLETION: bar : [#void#]bar(<#int arg#>) |
| |
| int func4() { |
| // TODO (&A::foo)( |
| (&A::bar)( |
| } |
| // RUN: %clang_cc1 -fsyntax-only -code-completion-at=%s:%(line-2):13 -std=c++23 %s | FileCheck -check-prefix=CHECK-CC5 %s |
| // CHECK-CC5: OVERLOAD: [#void#](<#A#>, int) |
