Type declared in record?

[Freejack <user@nospam.net>]

When using Ada records, is there a way to do something like this...

	type Foo is record
		type Bar is array(1..Blah) of Positive;
		Foo1 : Natural;
		Foo2 : Natural;
		<ect...>
	end record;

I know I can achieve the same(or a similiar) effect using a tagged type.
I was just curious if the above approach is possible, if there was a type
constraint that could be placed on type Bar that would garauntee a
correct elaboration at either compile time or run-time.

Just curious.

Frejack