Menu
Search

Forums

Forum Index

Thread overview
[Issue 21546] covariant return checks for functions wrong if returning by ref
[Issue 21546] ref returning delegate circumvents immutable (@safe won't help)
Jan 13, 2021
Bolpat
Feb 26, 2022
Walter Bright
Feb 26, 2022
Walter Bright
Feb 26, 2022
Dlang Bot
Feb 26, 2022
Dlang Bot
January 13, 2021
Gravatar of BolpatPosted by BolpatReply
Bolpat
Gravatar of Bolpat


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

Bolpat <qs.il.paperinik@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid, safe
                 CC|                            |qs.il.paperinik@gmail.com

--
February 26, 2022
Gravatar of Walter BrightPosted by Walter BrightReply
Walter Bright
Gravatar of Walter Bright


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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com

--- Comment #1 from Walter Bright <bugzilla@digitalmars.com> ---
This reveals a bug in the covariant return checks when ref returns are involved.

--
February 26, 2022
Gravatar of Walter BrightPosted by Walter BrightReply
Walter Bright
Gravatar of Walter Bright


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

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ref returning delegate      |covariant return checks for
                   |circumvents immutable       |functions wrong if
                   |(@safe won't help)          |returning by ref

--
February 26, 2022
Gravatar of Dlang BotPosted by Dlang BotReply
Dlang Bot
Gravatar of Dlang Bot


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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> ---
@WalterBright created dlang/dmd pull request #13722 "fix Issue 21546 - covariant return checks for functions wrong if retu…" fixing this issue:

- fix Issue 21546 - covariant return checks for functions wrong if returning by ref

https://github.com/dlang/dmd/pull/13722

--
February 26, 2022
Gravatar of Dlang BotPosted by Dlang BotReply
Dlang Bot
Gravatar of Dlang Bot


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

Dlang Bot <dlang-bot@dlang.rocks> changed:

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

--- Comment #3 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #13722 "fix Issue 21546 - covariant return checks for functions wrong if retu…" was merged into master:

- ddbf02545c73a06bf4db1c0d32aa10b186806e22 by Walter Bright:
  fix Issue 21546 - covariant return checks for functions wrong if returning by
ref

https://github.com/dlang/dmd/pull/13722

--