je4d · May 7, 2015 14:05
diff --git a/gistfile1.cpp b/gistfile1.cpp
 struct A
 {
 };

 struct B
 {
    B(const A&){}
    void foo();
 };

 bar(B b);

 A a;
 foo(a);   // not OK, even though foo(b) is ok and a is implicitly convertible to b
 a.bar();  // OK, even though no bar(A) exists
	struct A
	{
	};

	struct B
	{
	B(const A&){}
	void foo();
	};

	bar(B b);

	A a;
	foo(a); // not OK, even though foo(b) is ok and a is implicitly convertible to b
	a.bar(); // OK, even though no bar(A) exists