Skip to content

Auto merge of #127170 - bjorn3:no_specialize_index_borrowck, r=michae… #47446

Auto merge of #127170 - bjorn3:no_specialize_index_borrowck, r=michae…

Auto merge of #127170 - bjorn3:no_specialize_index_borrowck, r=michae… #47446

This job succeeded