Auto merge of #117754 - matthewjasper:subtype-overflow, r=lcnr

Browse source

Handle recursion limit for subtype and well-formed predicates

Adds a recursion limit check for subtype predicates and well-formed predicates.
`-Ztrait-solver=next` currently panics with unimplemented for these cases.
These cases are arguably bugs in the occurs check but:
- I could not find a simple way to fix the occurs check
- There should still be a recursion limit check to prevent hangs anyway.

closes #117151

r? types

...

This commit is contained in:

bors 2023-12-02 06:51:23 +00:00

parent 696291d613 25cc1a5a38

commit a7a7df0d65

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show stats Download patch file Download diff file Expand all files Collapse all files

Diff content is not available