Update: I opened up Issue #48895, which is a good starting point for anyone looking to get involved. The goal is to create a layer of abstraction between the type checker and the trait solving, so that we can later switch the trait solver that is being used at will.