struct Template {

    bool opEquals(U, this TA)(U) {

        pragma(msg, "Template.opEquals!(" ~ U.stringof ~ ", " ~ TA.stringof ~ ")");

        return Helper().opEquals(Helper());

    }

}

​

struct Helper {

    bool opEquals()(Helper) {

        static assert(false); // we never even compile this.

        return Template().opEquals(Template()); // but this is still needed

    }

}

​

void main() { }

​