Skip to content

Missing `tc_opaque` instance for `FromForall`.

Robbert Krebbers requested 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