type feature of child of feature whose outer feature has type parameters creates unjustified errors.

[fridis]

This example similar to the one from #3160

a(A type) is
  b is
    type.hi => say "hi"

x : a(u8).b is

x.type.hi

results in an unjustified error within automatically generated code for type features

 > PRECONDITIONS=true POSTCONDITIONS=true ../clean/fuzion/build/bin/fz test_it4.fz

/home/fridi/fuzion/work/test_it4.fz:5:1: error 1: Wrong number of type parameters
x : a(u8).b is
^
Wrong number of actual type parameters in call:
Called feature: a.type
expected 2 generic arguments for 'THIS#TYPE, A'
found 1: 'a a.A'.

one error.