This intention moves the type constraints (lifetime and traits) of a function to a where clause.