[Enhancement] RequireComponent Attribute

[inmny]

It is common to assign RequireComponent for a self-defined component in Unity for easier initialization.

Like this:

class SubComponent : MonoBehaviour {}

[RequireComponent(typeof(SubComponent), typeof(SpriteRenderer))]
class CustomComponent : MonoBehaviour {}

var obj = new GameObject("Test", typeof(CustomComponent));

// Then obj has CustomComponent, SubComponent, SpriteRenderer together.

Is it possible to implement it in Friflo? like this:

[RequireComponent(typeof(Position))] 
struct AnimData : IComponent 
{
    public int frame_idx;
    public Sprite[] ref_frames;
}

var e = store.CreateEntity(new AnimData());
// Then e has both AnimData and Position components.

To my knowledge, it is possible to expand Generic<AnimData>.ComponentTypes through the attribute,