fixed a missing contravariantlifetime