[Issue 19634] Usual Arithmetic Conversions doesn't define what happens on failure

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Jan 30 01:19:10 UTC 2019


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

Neia Neutuladh <dhasenan at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |spec

--- Comment #1 from Neia Neutuladh <dhasenan at gmail.com> ---
The specific manifestation of this is with identity expressions on unrelated
interfaces:

---
interface A {}
interface B {}
class C : A, B {}
void main()
{
    A a = new C;
    B b = new C;
    assert(a !is b);
}
---

The spec doesn't say whether this should work. The Usual Arithmetic Conversions
fail. It doesn't say that anything in particular should happen in this case,
but it vaguely implies that they need to succeed.

--


More information about the Digitalmars-d-bugs mailing list