add another test (this time negative) showing bug in object type inference