The function or member '{0}' is used in a way that requires further type annotations at its definition to ensure consistency ...