Stressful day Avish?
Keywords were "simple", "as you wish" and "compile-time". I closed the bug because it is indeed obviously by-design.
The "not-simple-yet-not-very-difficult" way I implied, when/if such a kind of generic multiple dispatch is desirable, is to write and apply an AST attribute on method A[of T] that would create specialized non-generic overloads of A depending the signatures of the methods directly invoked by A (here the fact B(T) has a B(int) overload would make `A' a candidate for an automatic specialization overload A(int)).
In fact here is a preliminary version* of such a [autoSpecialize] (autoGenericDispatch?) AST attribute applicable on generic methods: http://pastie.org/536185
*: very basic/hackish but works for simple cases such as the above testcase, for as many available specializations B has, wherever the parameter is located. Dmitry you're welcome to improve on it and post your updates here