title: Sharing a type with a generic class?
body: <p>How do you declare a variable to be the same type as a type parameter used to instantiate a generic class?  The following code does not compile:</p>
  
  <pre><code>class
      TEST [G, H -&gt; INTEGER]
  
  feature
  
      f (i: INDEXABLE [G, H])
          local
              y: H
          do
              y := i.lower -- Type error here.
          end
  
  end
  </code></pre>
  
  <p>The compiler says that the <em>source of the assignment is not compatible with target</em>.</p>