Since PR introducing this feature doesn’t state anything about type variables and I couldn’t find anything about it in the docs, I don’t think it’s supported. But I really don’t know.
@cristianoc Are type variables in record type coercion supported?
↧