Use new lifetime bounds syntax for procs