Check types in case of partial construction