{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":")"}]}
    ) -> (String, String, String, String) {
        second_borrowed_place: Place<'tcx>,
        // Define a small closure that we can use to check if the type of a place