On 12/14/18 7:17 PM, David Malcolm wrote:
+ /* Since default args are effectively part of the function type, + strip location wrappers here, since otherwise the location of + one function's default arguments is arbitrarily chosen for + all functions with similar signature (due to canonicalization + of function types). */
Hmm, looking at this again, why would this happen? I see that type_list_equal uses == to compare default arguments, so two function types with the same default argument but different location wrappers shouldn't be combined.
Jason