On 12/24/2015 12:57 PM, Patrick Palka wrote:
So instead, this patch takes the easier route and just adds preparatory logic to decay these dependent array parameter types where necessary so that by the time unify() is called it will be looking at two decayed T * types. There only seem to be three places where this needs to be done.
Does it not make sense to do this in maybe_adjust_types_for_deduction? Jason