Skip to content
GitLab

Missing `tc_opaque` instance for `FromForall`.

Merged 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.