> Has it been considered for constness or such constraints not to be > inherited? (Rather plain functype signature.) > > Denis I asked something similar not more than a week ago, it is possible in theory i think but implementation is very problematic and requires a big shift in the meaning of constness.