Module split
chalk_solve
Methods for splitting up the projections for associated types from the surrounding context.