On Wednesday, 15 February 2017 at 03:40:32 UTC, Mike Parker wrote:
My specific use case is a binding to a C library that makes use of specific types from X11, Wayland and elsewhere.
If X11.Foo is implicitly convertible to forward reference Foo and forward reference Foo is implicitly convertible to Wayland.Foo, then X11.Foo is implicitly convertible to Wayland.Foo.
