-
Notifications
You must be signed in to change notification settings - Fork 251
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fixups to #3838 #6268
base: master
Are you sure you want to change the base?
Fixups to #3838 #6268
Conversation
… by themselves'
I would prefer to revert the universe polymorphism from #5796 rather than leave this in limbo. Certainly not urgent, but I don't want to just forget about this problem. |
Could something be done about this? I would be sad if this unnecessary universe polymorphism change permanently prevents us from using MetaM in slim_check. I would like to either see this PR made to work, or the universe polymorphism change reverted. |
Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
This is an attempt to make #3838 universe polymorphic
ULift
#6271