bug: strict type checker fails to compile code that checks existence of function using "has" and involves background code: Status History

Below is the history of changes to this idea's status. Return to the idea.