{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"Some((AutoderefKind::Builtin,"}]}
        Some((AutoderefKind::Builtin, table.resolve_ty_shallow(derefed)))
    if let Some(derefed) = builtin_deref(table.db, &ty, explicit) {
    } else {