Should give an error, because the baseProfile already defined a typeSlice (closed), but the snapshot generator generates a faulty snapshot with both slices in it, where it should give an error that you can't add a slice to closed slicing array.
This issue results in a faulty snapshot, we could report this during generation. Normally we let the validator do this, but not all users validate their StructureDefinitions.
If we want to validate this using the validator-api, we need to add a looooot of extra logic -> A ElementDefinitionNavigator-like class on ITypedElement to have all the slice logic and being able to resolve the base and using that for validation.
Test created: Test_obs1_2
baseProfile:
profile on Profile:
Should give an error, because the baseProfile already defined a typeSlice (closed), but the snapshot generator generates a faulty snapshot with both slices in it, where it should give an error that you can't add a slice to closed slicing array.