qualified expression

[Mehdi Saada <00120260a@gmail.com>]

Is it possible to express within a qualified expression,
not a slice with all elements being the same, but a slice from another variable ?

type t_type (det: det_type := default_value) is record
          T_vect: t_arrays(0..det) := (others => null_value);
end record;
var2 : t_vect(1..det+1) :=...;
Like, usually it is: T_type'(det1, 0..det1 => Element)
there it would looks like T_type'(det1, 0..det1 =>  Var2(1..det1));
btw, shouln't the context here be sufficient for the expression to resolve ?