The current virtual dispatch-based implementation of fault effects has several drawbacks:
- It is impossible to add multiple instances of a fault effect to a component. This would be especially helpful for parameterized fault effects, i.e., fault effects that logically behave the same and only differ in some input data.
- For a generic component
C<T>, it is impossible to define specific fault effects for closed types such as C<int> and C<bool>.
The current virtual dispatch-based implementation of fault effects has several drawbacks:
C<T>, it is impossible to define specific fault effects for closed types such asC<int>andC<bool>.