Union derrived type problem

If union has two types of derrived type that is the same but is more restricted inside of the union with diferent restrictions does not generate sources but failes instead. This works with base types so if we have union with two string that are more restricted then it pass just fine