fn find_insert_after( redundant_range: TextRange, impl_def: &Impl, trait_def: &Trait, ) -> Option<TextRange>