Skip to content

Missing `tc_opaque` instance for `FromForall`.

Robbert Krebbersrequested to merge
robbert/from_forall_tc_opaque into master

FromForall was added later, and the tc_opaque instance was missing.

This MR fixes that and includes a testcase.

Merge request reports