No such internal type exists. The range interface is purely a library feature. The problem is that D has no way to include a type constraint as a part of the fu

No such internal type exists. The range interface is purely a library feature. The problem is that D has no way to include a type constraint as a part of the function type, at present. Something like out template contracts would do it probably.