used withhavei+ a past participle to indicate that actions in the past were or may have been unnecessary

• 过去分词连用，表示曾做的事无必要