defer-type-errors + unsafeCoerce
|Reported by:||guest||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
When evidence of a ~ b is missing, -fdefer-type-errors uses error to coerce a to b. It would nice to allow to use unsafeCoerce instead; for example ' ' :: Int would give under favourable conditions 32.