// File: /workspace/github_cpp_makefile_star2_O3/Falldog[P]dcinja/src/include/nlohmann/json.hpp
// Function: decltype(from_json_array_impl(fp, fp0, nlohmann::detail::priority_tag<3u>{}), fp.get<std::vector<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>, std::allocator<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>>>::value_type>(), (void)()) nlohmann::detail::from_json<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>, std::vector<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>, std::allocator<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>>>, 0>(nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>> const&, std::vector<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>, std::allocator<nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer, std::vector<unsigned char, std::allocator<unsigned char>>>>>&)
auto from_json(const BasicJsonType& j, ConstructibleArrayType& arr)
-> decltype(from_json_array_impl(j, arr, priority_tag<3> {}),
j.template get<typename ConstructibleArrayType::value_type>(),
void())
{
    if (JSON_HEDLEY_UNLIKELY(!j.is_array()))
    {
        JSON_THROW(type_error::create(302, "type must be array, but is " +
                                      std::string(j.type_name())));
    }

    from_json_array_impl(j, arr, priority_tag<3> {});
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdi, %r14
cmpb $0x2, (%rdi)
jne 0x38c4d
movq 0x8(%r14), %rax
movq %rsi, %rdi
movq %rax, %rsi
addq $0x48, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
jmp 0x38d36
movl $0x20, %edi
callq 0x91f0
movq %rax, %rbx
movq %r14, %rdi
callq 0x280c4
movq %rax, %r14
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
movq %rax, %rdi
callq 0x91b0
leaq (%rax,%r14), %rdx
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x126d8
leaq 0x20321(%rip), %rsi     # 0x58faf
leaq 0x28(%rsp), %rdi
leaq 0x8(%rsp), %rdx
callq 0x1dcc6
movb $0x1, %bpl
leaq 0x28(%rsp), %rdx
movq %rbx, %rdi
movl $0x12e, %esi            # imm = 0x12E
callq 0x27f5e
xorl %ebp, %ebp
leaq 0x3e32d(%rip), %rsi     # 0x76fe8
leaq -0xeb6c(%rip), %rdx     # 0x2a156
movq %rbx, %rdi
callq 0x9750
movq %rax, %r14
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x38ce8
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x93c0
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x38cff
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x93c0
testb %bpl, %bpl
jne 0x38d25
jmp 0x38d2d
movq %rax, %r14
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x38d25
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x93c0
jmp 0x38d25
movq %rax, %r14
movq %rbx, %rdi
callq 0x92e0
movq %r14, %rdi
callq 0x9790
nop