Post #2766134

@thephd@pony.social @uecker@mastodon.social clang have partial solutions for this, e. g. they have an attribute that promisses that pointer parameters do not escape. Unfortunately they have their big problem that they can't attach these kind of properties to function types. so all information is lost once you convert to a function pointer.