The current implementation assumes a TypeVariable has at most one bound, which leads to incorrect injection point resolution.
Revise usages of EventTypeAssignabilityRules#areTypesInsideBounds and EventTypeAssignabilityRules#isTypeInsideBounds.