{
BasicTypeDeclaration *basic_true = dynamic_cast<BasicTypeDeclaration *>(ternary.true_expr->type);
BasicTypeDeclaration *basic_false = dynamic_cast<BasicTypeDeclaration *>(ternary.false_expr->type);
{
BasicTypeDeclaration *basic_true = dynamic_cast<BasicTypeDeclaration *>(ternary.true_expr->type);
BasicTypeDeclaration *basic_false = dynamic_cast<BasicTypeDeclaration *>(ternary.false_expr->type);
+ if(!basic_true || !basic_false)
+ return;
+
Compatibility compat = get_compatibility(*basic_true, *basic_false);
if(compat==NOT_COMPATIBLE)
return;
Compatibility compat = get_compatibility(*basic_true, *basic_false);
if(compat==NOT_COMPATIBLE)
return;