Method codegen_expression

bootstrap/stage0/codegen.cpp:3999–5232

}

ErrorOr<void> Jakt::codegen::CodeGenerator::codegen_expression(NonnullRefPtr<typename Jakt::types::CheckedExpression> const expression,ByteStringBuilder& output,bool const forward_error_with_try,bool const syntactically_self_contained) {
{
this->generic_inferences = expression->common.init_common.generic_inferences.value_or_lazy_evaluated_optional([&] { return this->generic_inferences; });
ScopeGuard __jakt_var_118([&] {
this->generic_inferences = JaktInternal::OptionalNone();
});
{auto&& __jakt_match_variant = *expression;
switch(__jakt_match_variant.__jakt_init_index()) {
case 34 /* Reflect */: {
auto&& __jakt_match_value = __jakt_match_variant.as.Reflect;Jakt::utility::Span const& span = __jakt_match_value.span;
{
Jakt::utility::panic(__jakt_format(StringView::from_string_literal("Unexpected reflect expression at {}"sv),span));
}
goto __jakt_label_165;};/*case end*/
case 9 /* Range */: {
auto&& __jakt_match_value = __jakt_match_variant.as.Range;JaktInternal::Optional<NonnullRefPtr<typename Jakt::types::CheckedExpression>> const& from = __jakt_match_value.from;
JaktInternal::Optional<NonnullRefPtr<typename Jakt::types::CheckedExpression>> const& to = __jakt_match_value.to;
Jakt::ids::TypeId const& type_id = __jakt_match_value.type_id;
{
NonnullRefPtr<typename Jakt::types::Type> const type = this->program->get_type(type_id);
Jakt::ids::TypeId const index_type = [&]() -> Jakt::ids::TypeId { auto&& __jakt_match_variant = *type;
switch(__jakt_match_variant.__jakt_init_index()) {
case 20 /* GenericInstance */: {
auto&& __jakt_match_value = __jakt_match_variant.as.GenericInstance;Jakt::ids::StructId const& id = __jakt_match_value.id;
JaktInternal::DynamicArray<Jakt::ids::TypeId> const& args = __jakt_match_value.args;
return args[static_cast<i64>(0LL)];};/*case end*/
default:{
Jakt::utility::panic(ByteString::from_utf8_without_validation("Internal error: range expression doesn't have Range type"sv));
}
}/*switch end*/
 
}();
output.append(TRY((this->codegen_type(type_id))));
output.append(StringView::from_string_literal("{"sv));
output.append(StringView::from_string_literal("static_cast<"sv));
output.append(TRY((this->codegen_type(index_type))));
output.append(StringView::from_string_literal(">("sv));
if (from.has_value()){
TRY((this->codegen_expression(from.value(),output,true,false)));
}
else {
output.append(StringView::from_string_literal("0LL"sv));
}

output.append(StringView::from_string_literal("),static_cast<"sv));
output.append(TRY((this->codegen_type(index_type))));
output.append(StringView::from_string_literal(">("sv));
if (to.has_value()){
TRY((this->codegen_expression(to.value(),output,true,false)));
}
else {
output.append(StringView::from_string_literal("9223372036854775807LL"sv));
}

output.append(StringView::from_string_literal(")}"sv));
}
goto __jakt_label_165;};/*case end*/
case 25 /* OptionalNone */:{