>>97
クラス型が参照型（要するにポインタ）であることを考えれば、別に何もおかしいことではないと思う。

struct S { }
class A {
　const(S*) b;
　void setB(const S* b) {
　　this.b = b; // 駄目
　}
}

これに対する解決法は>>99だけど、言語のほうで何とかしてほしいのはたしか。

それと、これはまだ実装されてないけど、inはscopeを含むので、
in引数の内容をスコープ外にコピーすることはできない。