{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":")"}]}
        )
            ty::TypingEnv::fully_monomorphized().as_query_input((instance, ty::List::empty())),
        .unwrap_or_else(|error| {