[Issue 19645] Default parameters not checked for @safe

[d-bugmail at puremagic.com]

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

--- Comment #5 from Walter Bright <bugzilla at digitalmars.com> ---
To be specific:

-----
  module m;
  shared int b;
  pure void g(int a=b){}
-----
  import m;
  int b;
  pure void f()
  {
    g();
  }
-----

should be compiled as if written:

-----
  module m;
  shared int b;
  pure void g(int a=b){}
-----
  import m;
  int b;
  pure void f()
  {
    g(m.b);  // pick m.b, not local b
  }
-----

--