{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":")"}]}
            )
                ty::TypingEnv::fully_monomorphized().as_query_input((i, ty::List::empty())),
            .unwrap_or_else(|_| bug!("fn_abi_of_instance({i:?}) failed"))