Ticket #278: poly_dtor.cfa

struct myType;
void foo( myType & t );
void ^?{}( myType & t );

forall( T )
trait embedded {
    void foo( T & );
};

forall( T | embedded( T ) ) {
    struct A {
        inline T;
    };

    void ^?{}( A(T) & t ) { printf("A\n"); }
}

struct myType {};
void foo( myType & t ) {}
void ^?{}( myType & t ) { printf("T\n"); }

int main() {
    {
        A( myType ) a;
    }
}