Paul Backus

Well, it's entirely possible at this point that the issue with `__traits(getMember)` will *never* be fixed. That's one of the motivations behind `@system` variables ([DIP 1035][1]): they're a way to...

> Should I think another name for `apply` on `RefCounted`, or alternatively make it no-op on null `RefCounted`? I think renaming it is better in this case, given the difference...

It looks like it's the test runner itself (`run.d`) that fails to compile. Maybe an easier fix would be to have the DMD build system compile it with `-preivew=dip1000` enabled?

> however that might break some code that uses .stringof the way you mentioned. As far as I know the language spec makes no guarantees whatsoever about the specific contents...

The main difference between this and `bind` (or a `with` *statement* wrapped in a lambda) is that a `with` expression does not introduce a new scope.

[The spec][1] says: > If a template has a template alias parameter, and is instantiated with a local symbol, the instantiated function will implicitly become nested in order to access...

1. Maybe it should be `@system` to call these functions at runtime rather than a hard error? 2. Either way, taking the address of one of these functions should be...

The behavior of `std.meta.isSame` is simply incorrect, and leads to absurd results like the following: ```d import std.meta; int f() { return 123; } int g() { return 456; }...

The `is()` expression only works on types. `isSame` works on types, symbols, and values.

> isn't that a limitation that could/should be relaxed to cover the kinds of AST-nodes that isSame currently covers? Given how confusing `is()` expressions already are for users learning D,...