Searched refs:notified_clone (Results 1 – 1 of 1) sorted by relevance
56 let notified_clone = notified.clone(); in new_init_with() localVariable60 let notified = notified_clone; in new_init_with()