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
tracking bug for known issues with the "strictly more complex" rule for impl termination #2880
Comments
Given a single
... if we specify that a builtin conversion from
The problem here is that we have expanded the query to a larger one by expanding the array to its elements, but haven't removed a Possible fixes:
|
This issue tracks known cases where the termination rule for impl selection rejects code that would not encounter a cycle. At some point we will need to check whether the rule is behaving as we expect, and these cases will help us refine the rule or select a new one.
The text was updated successfully, but these errors were encountered: