Notes from the December, 2016 teleconference:

The injected-class-name is irrelevant to the example, which is ill-formed. The access should be permitted only if conversion of the this pointer to a pointer to the base class would succeed.

Consider this example from issue 7:

  class Foo { };
  class A : virtual private Foo { };
  class Bar : public A { }; 

This example should cause Bar's defaulted default constructor to be deleted, because it does not have access to the injected-class-name Foo.