Lifetime generic functions: Why does the Rust not pick a smaller inner lifetime?

Question

Working with generic types that have lifetimes attached to them (here, trait M<\'m>), trait methods that work with them need to be generic over the input life