if (!casted) {
                throw CodeGenerationDiagnostics.unsupportedImplicitCastOfReturnValue(
                    returnStatement,
                    context.typeChecker.typeToString(returnType),
                    context.typeChecker.typeToString(expressionType)