ProcessImplicitDefs should watch out for invalidated iterator and extra implicit...