Function k

tests/TestGenericType.cpp:2068–2070

Foo<int> a, b;\r\n\
a.x = 1;\r\n\
b.x = 0;\r\n\
\r\n\
Foo<int> k(){ assert(0); return Foo<int>(); } // never called!\r\n\
\r\n\
assert(a || k());\r\n\
assert(!(b && k()));\r\n\