bors 0919ad1838 Auto merge of #117754 - matthewjasper:subtype-overflow, r=lcnr ... 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		2023-12-02 06:51:23 +00:00
..
src	Auto merge of #117754 - matthewjasper:subtype-overflow, r=lcnr	2023-12-02 06:51:23 +00:00
Cargo.toml	Replace custom_encodable with encodable.	2023-11-22 18:37:14 +11:00
messages.ftl	Add some additional warnings for duplicated diagnostic items	2023-11-17 07:28:43 +01:00