{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        Some((AutoderefKind::Builtin, table.resolve_ty_shallow(derefed)))
        Some((AutoderefKind::Overloaded, deref_by_trait(table, ty, use_receiver_trait)?))