TSPHP-811 change object to mixed in type checker