return subtypeOf(src, trg);
}
}
public static boolean isPromotable(final Type src, final AtomicType trg) {
final Type primeType = src.prime();
if(primeType instanceof AtomicType) {
return TypeTable.isCastable((AtomicType) primeType, trg, true);
} else if(primeType instanceof ChoiceType) {
final ChoiceType choise = (ChoiceType) primeType;
for(Type c : choise.getTypes()) {