Andrei Alexandrescu <> changed:

           What    |Removed                     |Added
                 CC|                            |
            Summary|Accessing non-static member |[tdpl] Accessing non-static
                   |of a null reference         |member of a null reference
                   |compiles                    |compiles

--- Comment #12 from Andrei Alexandrescu <> 2011-12-18 
20:20:09 PST ---
Failing unittest in TDPL:

  class A { int x; }
  A a;
  assert(!__traits(compiles, a.x = 5));

Such programs must be statically rejected, guaranteed if there's no intervening
flow in between definition and first use. We can work on improving that later,
but for now let's get the obvious case out of the way.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to