[Refactoring] deduceWildHelper and its caller side
Consider matching between e->type->mod to tparam->mod in deduceExpType
fix Issue 12876 - Implicit cast of array slice to fixed-size array for templates too