//error: asynchronous ctor/dtor message `AsyncCtorReturnsManageeConstructor' declares return values

include protocol AsyncCtorReturnsManagee;

[ChildProc=any]
protocol AsyncCtorReturns {
  manages AsyncCtorReturnsManagee;

child:
  async AsyncCtorReturnsManagee() returns (bool unused);
};