Conditional Conformance and Extension Logic

You will be able to conditionally provide features to a type only when its contents meet specific criteria.