Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed ...