extract_file_and_line
return extract_file_and_line(*res_or_err, file, line);
if (extract_file_and_line(res_or_err->getFrame(0),