I think we could just use `widen` instead of `eraseDependentType` here.