During the discussion of issue 1315, it was observed that the example

  template <int I, int J> struct B {};
  template <int I> struct B<I, I*2> {};

is ill-formed because the deduction succeeds in both directions. This seems surprising. It was suggested that perhaps a non-deduced context should be considered more specialized than a deduced context.