6.2.7. LimitationsΒΆ

Code Assist does not take into account the association between generic formal parameter types and generic actual parameter types when attempting to complete a reference via the formal.

For example, in the following figure, the generic formal type T is matched during the instantiation with generic actual type R. Type R has record components, but these components are not available as candidates via objects viewed as of type T. Therefore, in the figure we can request a completion of P. and the engine will propose the function name F, but there is no further completion proposed for P.F. because P.F returns a value of type T and the components are not known to the engine via that type name.

smart completion limitation re generic formals