On 4/17/23 14:44, Patrick Palka wrote:
Here when level lowering the bound ttp TT via the
substitution T=C, we're neglecting to canonicalize (and therefore strip
of simple typedefs) the resulting template arguments {A} before
determining its new canonical type via hash table lookup. This leads to
Here when level lowering the bound ttp TT via the
substitution T=C, we're neglecting to canonicalize (and therefore strip
of simple typedefs) the resulting template arguments {A} before
determining its new canonical type via hash table lookup. This leads to
an a hash mismatch ICE for the two equiv
