'checkType' for qualified properties as function arguments