[Issue 5014] is(T U == super) returns non-shared parent types for shared(T)

[d-bugmail--- via Digitalmars-d-bugs]

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

Iain Buclaw  changed:

   What|Removed |Added

   Priority|P2  |P3

--

[Issue 5014] is(T U == super) returns non-shared parent types for shared(T)

[d-bugmail--- via Digitalmars-d-bugs]

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

Johannes Loher  changed:

   What|Removed |Added

 CC||johannes.lo...@fg4f.de

--- Comment #1 from Johannes Loher  ---
Still happening in 2.080.0. The spec states that U should be a TypeSeq of base
classes and interfaces of T.

What is the desired behaviour?

This also happens for other attributes like const, immutable, and inout.

std.traits.BaseTypeTuple has the same behaviour.

--