@nick29581 how are you planning to write the implementation of a function with that specific signature: `fn produce_iter_static<X: Iterator<u8>>() -> X` ?

If by "they don't have the desired behavior" you mean that all such implementations never return a result (i.e. invoke `fail!` or infinite loop), then I think we would just be getting into an argument about the semantics of the english phrase "such functions don't exist."