On 05/29/2014 03:17 PM, Paolo Carlini wrote:
I put together the below which already passes testing.
Thanks!
+ bool do_inject = this_type && !dependent_type_p (this_type);
!dependent_type_p should be !dependent_scope_p, or perhaps even CLASS_TYPE_P. It should be OK to inject a this pointer of a dependent class, and we might need it to get the right semantics.
You also need to propagate the flag in a bunch of other places: everywhere we call build_method_type_directly ought to cover it.
Jason
