Extended Return Statement with exception

["Anh Vo" <anhvofrcaus@gmail.com>]

I have read the Extended Return Statement in Ada 2005 RM and Rationale.
However, I am still not sure how it works. In other word, what will be
returned when an exception occurs and handled the the exception handler
within this extended return statement. Consider the following notional
code, what exactly will be returned?

type T is limited ...
...

function Make (...) return T is
begin
   ...
   return R : T do
      ...
      ...   -- Constraint_Error is raised here for example
   exception
      ... handle Constraint_Error here.
   end return;
end Make;

AV