Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:85672
Return-Path: <morrison.levi@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 85818 invoked from network); 1 Apr 2015 20:31:05 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 1 Apr 2015 20:31:05 -0000
Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.175 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 209.85.214.175 mail-ob0-f175.google.com  
Received: from [209.85.214.175] ([209.85.214.175:33466] helo=mail-ob0-f175.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id B9/BC-21906-8855C155 for <internals@lists.php.net>; Wed, 01 Apr 2015 15:31:05 -0500
Received: by obvd1 with SMTP id d1so98729779obv.0
        for <internals@lists.php.net>; Wed, 01 Apr 2015 13:31:00 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc:content-type;
        bh=CUTy80yGyFzynMCagLodV/BnrzuMpLOH7jkssTG79Ow=;
        b=GlJ5TjPUG8dWnTbVqUhgzwlHcK/PUX0hnBzWoyExsUrsdz5Rjmcn1r0MjxrtNeYZSm
         Hdg30mMUUQtI51ViFR2e2Oya/XPTDFvlvnBW1AVOG3fm5Ywa0hSRx3cohO/cmYM79k1Y
         7n3DOShWVah8Pk1DBUVjIZYYBapKf8131tqvynWPTH1QyqQpBiDqn9sNw2C6D2YWWBN0
         /GH1hBaHbOUs+BDFeXlxG3dsRatvrB6Wd5C5+M6KVI/jpNiot80YhjXPYI9wDrOq/JfI
         XqA+wwdyrsg+y1TVsbVd+cXO1T9H0F1xJpxBx+l955B2/8kJbEpJjDNleWuQEAACnS0C
         qnjw==
MIME-Version: 1.0
X-Received: by 10.60.131.143 with SMTP id om15mr10469390oeb.41.1427920259193;
 Wed, 01 Apr 2015 13:30:59 -0700 (PDT)
Sender: morrison.levi@gmail.com
Received: by 10.76.93.136 with HTTP; Wed, 1 Apr 2015 13:30:59 -0700 (PDT)
In-Reply-To: <551C4D7E.7030705@mabe.berlin>
References: <551C3CF5.5060704@mabe.berlin>
	<CAAyV7nFVq1ZbtSzHOseXiw8ezGdVwA+5CUA2WEMPkCGOzKw54Q@mail.gmail.com>
	<551C4D7E.7030705@mabe.berlin>
Date: Wed, 1 Apr 2015 14:30:59 -0600
X-Google-Sender-Auth: Dzsb_6ajaj_LVv3EYhPCfHZT3tY
Message-ID: <CAFMT4Nr4gqQZ2kN0PEVqBuhR9-e8ONG6q51A3TQFS19QSgs2mw@mail.gmail.com>
To: Marc Bennewitz <dev@mabe.berlin>
Cc: Anthony Ferrara <ircmaxell@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Overwrite return type-hint into a more specific one
From: levim@php.net (Levi Morrison)

> Thank you for the really helpful explanation!
> Now I understand the reasons but I don't have enough experience in C or the
> engine to make that possible.
> Would it be possible to support it in the first place only if the return
> type hints are already known by the engine?

If my memory is working correctly, opcache will prevent this from
working as you expect when it is enabled.

I think we want covariant return types eventually, but for now getting
invariant return types into the engine is a nice stepping stone.