小程序更名后，用户在不知情的情况下，搜索原小程序名称，会搜索到正确的小程序吗？

场景：

我们开发的小程序现面临更名的需求，比较关心老用户搜索小程序旧名称，能不能直达小程序的问题。

比如我们小程序现在的名字是“AAA”，拟更名“BBB”。

请问，当我们走完更名流程后，老用户在小程序搜索页面，搜索“AAA”时，搜索结果栏里，会出现“BBB”吗？