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

Daniel Kozak <kozzi11@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|                            |https://run.dlang.io/is/0ho
                   |                            |AtP

--

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

Daniel Kozak <kozzi11@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|https://run.dlang.io/is/0ho |https://run.dlang.io/is/0ho
                   |AtP                         |AtP
                   |                            |https://code.dlang.org/pack
                   |                            |ages/std-experimental-xml

--

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

Daniel Kozak <kozzi11@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|https://run.dlang.io/is/0ho |https://run.dlang.io/is/0ho
                   |AtP                         |AtP
                   |https://code.dlang.org/pack |
                   |ages/std-experimental-xml   |

--

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

greenify <greeenify@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |greeenify@gmail.com

--- Comment #1 from greenify <greeenify@gmail.com> ---
To be exact it worked from 2.066 to 2.074.1:

https://run.dlang.io/is/x0bYkS

--

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

greenify <greeenify@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Covariant return types      |[REG2.075] Covariant return
                   |doesn't work with override  |types doesn't work with
                   |in some cases               |override in some cases

--

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

--- Comment #2 from Daniel Kozak <kozzi11@gmail.com> ---
introduced in this commit: https://github.com/dlang/dmd/commit/fb315d03f0744b8406d31b9c106d3a42c0c178b3

--

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

--- Comment #3 from Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> ---
Please include the entire test case in the bug report itself.

Here it is:

interface INode
{
    @property INode parentNode();
    @property IDocument ownerDocument();
}
interface IDocument: INode {}
interface IEntityReference: INode {}

class DOMImplementation(T)
{
    abstract class Node: INode
    {
        override
        {
            @property Node parentNode() { return null; }
            @property Document ownerDocument() { return null; }
        }

        @property bool readonly() { return true; }
    }
    abstract class NodeWithChildren: Node {}

    class Document: NodeWithChildren, IDocument {}

    class EntityReference: NodeWithChildren, IEntityReference
    {
        override
        {
            @property bool readonly() { return true; }
        }
    }

}

void main()
{
    alias aaa = DOMImplementation!string;
}

--

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

Vladimir Panteleev <dlang-bugzilla@thecybershadow.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[REG2.075] Covariant return |[REG2.075.0] Covariant
                   |types doesn't work with     |return types doesn't work
                   |override in some cases      |with override in some cases

--

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

--- Comment #4 from github-bugzilla@puremagic.com ---
Commits pushed to stable at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/1fb7bd7fd889941c818cba6b1eb277e90e61dc9c Fix issue 17686: [REG2.075.0] Covariant return types doesn't work with override in some cases

https://github.com/dlang/dmd/commit/413466c796851fae4fb147bb7b3c9bd5da13355b Merge pull request #7033 from Kozzi11/Issue17686

Fix: [REG2.075.0] Covariant return types doesn't work with override i… merged-on-behalf-of: Martin Nowak <code@dawg.eu>

--

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

github-bugzilla@puremagic.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--