fn terminator_invalidates_vec_owner<'tcx>( terminator: &TerminatorKind<'tcx>, owners: &[PlaceKey], tree: &AliasTree, ) -> bool