Skip to content

Conversation

plt-amy
Copy link
Member

@plt-amy plt-amy commented Apr 16, 2025

Fixes #7799

@plt-amy plt-amy merged commit 6ea3924 into master Apr 16, 2025
27 checks passed
@plt-amy plt-amy deleted the aliao/issue7799 branch April 16, 2025 15:01
@plt-amy plt-amy added the instance postponement issues --experimental-lazy-instances, discrim-based deferral of instance candidate checking label May 14, 2025
@andreasabel andreasabel added this to the 2.8.0 milestone Jun 1, 2025
@andreasabel andreasabel added the instance Instance resolution label Jun 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
instance postponement issues --experimental-lazy-instances, discrim-based deferral of instance candidate checking instance Instance resolution
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Potential regression related to instance resolution
2 participants