The FHIR Extensions Package introduces the Impose Profile extension, which indicates additional profiles that a resource should be validated against: http://hl7.org/fhir/extensions/StructureDefinition-structuredefinition-imposeProfile.html

Instances can only be valid against this profile, if they also successfully validate against the profile referenced by this extension.
This is an instruction to validators to go and check the profile this extension refers to, and enforce that the instance being validated is valid against both source and target profiles. In general, the source profile won't restate the constraints in the target profile.

Please add support for this in the validator, that, when validating against a profile that has this extension, the instance is also validated against the additionally imposed profile.

Note: this is split out from the bigger SDK ticket on other 'multiple inheritance'-like solutions - #619