xla

Stricter testing of sharding annotations after scan

#8456

Merged