Skip to content

Use mkTrAppChecked in ds_ev_typeable

sheaf requested to merge sheaf/ghc:T25998 into master

Ticket: #25998 (closed).

This change avoids violating the invariant of mkTrApp according to which the argument should not be a fully saturated function type. This ensures we don't return false negatives for type equality involving function types.

Merge request reports