[frabert]

I once (tried?) to implement some form of refinement types using C++17 templates as my BSc thesis: https://github.com/frabert/bsc-thesis

It's more or less as horrific as you can imagine...

[pjmlp]

Nowadays in C++23 land, and with concepts along for the ride, it might be easier, although it begs the question why C++ in first place?

[frabert]

I enjoy abusing C++ templates for fun and for the challenge