Opaque Result Type

[orobio (Manolo van Ee)]

A while ago I wrote down some thoughts on the subject, which might help:

Reverse generics and opaque result types

Introduction I've been trying to wrap my head around SE-0244: Opaque Result Types and recently I had some realizations that helped me understand the proposal better. I noticed I'm not the only one confused about it, so I thought I'd write down some things that might help others to get a better grasp of the concept as well. In doing so, I'd also like to try and rebrand opaque result types, or at least the underlying mechanism, to something I'm calling 'reverse generics'. I think viewing this al…