Path-cosplittings of locally small types are locally small

Path-cosplittings of locally small types are locally small #8554