Interface IResolvingCoercer

    • Method Detail

      • resolveType

        IType resolveType​(IType target,
                          IType source)

        This method should produce a more appropriately parameterized type for the given target type for this coercion. This allows a coercion to communicate type information through the coercion process. An example is the MetaType-to-Class coercion. MetaType should be interpreted as Class from a type inference perspective, so this give the coercer a chance to let the compiler know so.

        If no more appropriate inference type exists, this method should return the source type.

        Parameters:
        target - type
        source -
        Returns:
        a possibly more appropriately parameterized type or the source type if not