[Issue 13767] Template type inference fails when destructuring shared type

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13767

--- Comment #2 from monkeyworks12 at hotmail.com ---
I'm assuming in your example you meant to use : instead of ==.

That aside, why shouldn't this work? I'm trying to destructure some type which
matches the pattern `shared U`. `shared const(int)` *should* match that
pattern. What I'm trying to express is `∃ U: shared U == shared const int`; it
seems incorrect to me that that I should have to use the subtyping form of is.

--