{"ast_node_type":"variable","tokens":[{"end":98,"kind":"keyword","start":0,"text":"let"}]}
    let Ok(abi) = tcx.fn_abi_of_instance(typing_env.as_query_input((instance, ty::List::empty())))
    let typing_env = ty::TypingEnv::fully_monomorphized();
    else {