fn write_predicate<T: DataComponentPredicateCodec>( value: &dyn ErasedDataComponentPredicate, ) -> NbtTag