title: Ada language understanding: a child of a renamed package
body: <p>Let's have, say, package with child package(s):</p>
  <pre><code>-- a.ads
  package A is
  end A;
  
  -- a-b.ads
  package A.B is
  end A.B;
  </code></pre>
  <p>Now I want to rename <code>A</code> to <code>X</code>:</p>
  <pre><code>-- x.ads
  package X renames A;
  </code></pre>
  <p>The question one is: will a child package <code>A.B</code> be accessible as being renamed to <code>X.B</code> too?</p>
  <pre><code>-- test.adb
  with X.B; -- Is it ok? Why?
  ...
  </code></pre>
  <p>The question two is: is it legal to make a child of a renamed package, say <code>X.C</code>?</p>
  <p>It looks like in GNAT it is renamed, but is it standard behaviour? Some reading of a 2005 and 2012 LRM doesn't clear that for me. Can you please point me to sections in LRM answering my questions?</p>