{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"TyKind::Slice(_)"}]}
            TyKind::Slice(_) => match &current_ty.kind(Interner) {
        Ok(match &target_ty.kind(Interner) {
                TyKind::Array(_, size) => {