>
> Even if you declare a forward class D the error still persists...
>>
>> struct A2 {
>> struct B {};
>> struct D;
>> consteval {
>> -> fragment struct {
>> B b = D(); //error
>> B getB() { return D(); } //error
>> };
>> }
>> struct D : B {};
>> };
>>
>>
> Well, yeah. D hasn't been defined at the point it's used.
>
>
> Hmm, that’s an interesting case. One would expect that to work since
> doing the injection manually works:
>
> struct A2 {
> struct B {};
> struct D;
> B b = D(); // Okay.
> B getB() { return D(); } // Okay.
> struct D : B {};
> };
>
> The way implementations handle that is by saving the tokens of the
> “complete-context component" for replay later on. Presumably, the fragment
> handling implementation doesn’t do that, or it replays them before
> injection?
>

The way our implementation works is that we do analysis of default inits,
function bodies on the closing brace of the fragment. We don't consider the
context to be the outermost class because it's a separate class (until it
gets injected). Basically, it's more like this:

struct A2 {
  struct B {};
  struct D;
          void f(decltype([](){ D(); });
  struct D : B {};
};

Just put the fragment in the lambda body.