--  { dg-do compile }

procedure Discr_Test is
  procedure P is begin null; end P;

  task type Tsk1 is
    entry rvT;
  end Tsk1;

  task body Tsk1 is
  begin
    accept rvT;
  end Tsk1;

  task type Tsk2 (pS : not null access procedure) is
    entry rvT;
  end Tsk2;

  task body Tsk2 is
    tskT : Tsk1;
  begin
    accept rvT do
      requeue tskT.rvT;
    end rvT;
    pS.all;
  end;

  Obj : Tsk2 (P'access);
begin
  Obj.rvT;
end;