http://d.puremagic.com/issues/show_bug.cgi?id=7355
--- Comment #3 from timon.g...@gmx.ch 2012-01-26 09:07:23 PST --- (In reply to comment #2) > (In reply to comment #1) > > My understanding is, each inout deduction from a function argument just like > > pattern matching. > > > > Parameter type: inout( int *)* > > Argument type: mutable(immutable(int)*)* // mutable(...) is pseudo > > modifier > > --> 'inout' is deduced to 'mutable'. > > The compiler should either fail to match, since inout wildcard is not applying > to the immutable, or if it does match, it should treat foo as: > > int** foo(int **x) { return x; } > > This should fail to be able to be called with immutable(int)**. > > The assert should fail because the typeof should resolve to Error. > > I think this bug is invalid. The typeof resolves to error because inout resolves to immutable. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------