title: What is the meaning of "if the context from which the specialization is referenced depends on a template parameter"?
body: <p>According to the C++17 standard, [temp.point]/4, emphasis mine,</p>
  
  <blockquote>
    <p>For a class template specialization, a class member template specialization, or a specialization for a class
    member of a class template, if the specialization is implicitly instantiated because it is referenced from within
    another template specialization, <strong>if the context from which the specialization is referenced depends on a
    template parameter</strong>, and if the specialization is not instantiated previous to the instantiation of the enclosing
    template, the point of instantiation is immediately before the point of instantiation of the enclosing template.
    Otherwise, the point of instantiation for such a specialization immediately precedes the namespace scope
    declaration or definition that refers to the specialization.</p>
  </blockquote>
  
  <p>I don't understand how to interpret this sentence. Elsewhere, when describing name lookup in templates, the standard refers to the "instantiation context" and the "definition context". There, the word "context" seems to mean a particular point in the source text, which determines the set of visible names. Here, I'm not sure if the meaning of "context" is the same. If that is what it means, I'm not sure what it means for it to depend on a template parameter. Does that mean it's inside a template, or does it specifically mean there are still some unbound template parameters from enclosing templates at the point where the compiler decides to instantiate the specialization in question, or something else?</p>
  
  <p>Examples would be appreciated.</p>