Commit
f2c396a4b5cdd0d9298d935c1808ade6a4949021
by david.allsoppRuntime events: dispatch the right event message type (#13970)
* Dispatch the right event message type
`type.runtime | type.user` does not really make sense as `.runtime`
and `.user` are two projections of the same union type.
Prevents a MSVC 19.44.35109.1 warning:
runtime/runtime_events.c(595): warning C5287: operands are different enum types
'ev_runtime_message_type' and 'ev_user_message_type'; use an explicit cast to silence this warning
Co-authored-by: Gabriel Scherer <gabriel.scherer@gmail.com>
* Fit in 80 cols
---------
Co-authored-by: Gabriel Scherer <gabriel.scherer@gmail.com>
(cherry picked from commit 3e00aa54590360c0a97e471a259c5ad38ea12713)