{"ast_node_type":"variable","tokens":[{"end":66,"kind":"keyword","start":0,"text":"&&"}]}
            && let Some(from) = self.ty(*from).builtin_deref(true)
            && let CastKind::PointerCoercion(ty::adjustment::PointerCoercion::Unsize, _) = kind
            && let ty::Array(_, len) = from.kind()