Example of non-function symbol.

HappyCerberus · HappyCerberus · commit 608397d06741 · 2022-09-27T18:38:01.000+02:00
diff --git a/code_examples/theory/CMakeLists.txt b/code_examples/theory/CMakeLists.txt
@@ -18,3 +18,6 @@ add_executable(adl_unqalified adl_unqalified.cpp)
 
 add_executable(adl_simple adl_simple.cpp)
 # Compile only
+
+add_executable(adl_nonfunc adl_nonfunc.cpp)
+# Compile only
diff --git a/code_examples/theory/adl_nonfunc.cpp b/code_examples/theory/adl_nonfunc.cpp
@@ -0,0 +1,5 @@
+#include "adl_nonfunc_code.h"
+
+int main() {
+    calling_site();
+}
diff --git a/code_examples/theory/adl_nonfunc_code.h b/code_examples/theory/adl_nonfunc_code.h
@@ -0,0 +1,11 @@
+namespace Custom {
+    struct X {};
+
+    constexpr inline auto some_func = [](const X&) {};
+}
+
+void calling_site() {
+    Custom::X x;
+    // some_func(x); // Will not compile, not visible to ADL.
+    Custom::some_func(x); // OK
+}
diff --git a/code_examples/theory/adl_unqalified_code.h b/code_examples/theory/adl_unqalified_code.h
@@ -7,7 +7,8 @@ void some_call(double) {}
 void calling_site() {
     some_call(1);   // A::B::some_call
     some_call(2.0); // A::B::some_call
-    //some_call("hello world"); Will not compile, no conversion from const char* -> double
+    // some_call("hello world"); will not compile
+    // no conversion from const char* -> double
 }
 }
 }

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,8 @@ void some_call(double) {}`
`7`	`7`	`void calling_site() {`
`8`	`8`	`some_call(1); // A::B::some_call`
`9`	`9`	`some_call(2.0); // A::B::some_call`
`10`		`- //some_call("hello world"); Will not compile, no conversion from const char* -> double`
	`10`	`+ // some_call("hello world"); will not compile`
	`11`	`+ // no conversion from const char* -> double`
`11`	`12`	`}`
`12`	`13`	`}`
`13`	`14`	`}`