I understand events with type variables are currently not supported, but the detection of an event with a type parameter seems way too late. I don't think one should be able to inject an event producer for which no event can be fired.

If it is that the type parameter passed to the Event on the producer is ignored, why isn't that the case for the fired event?