diff options
| author | lcnr <rust@lcnr.de> | 2024-02-23 10:12:08 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-02-29 10:14:02 +0100 |
| commit | 5ec9b8d778b91cb579dc177eedaff4ba69bba33f (patch) | |
| tree | a01108aebbd3706569d548c9166b93be4874b727 /tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs | |
| parent | d3d145ea1cae47ad392173f890577788117da3d9 (diff) | |
| download | rust-5ec9b8d778b91cb579dc177eedaff4ba69bba33f.tar.gz rust-5ec9b8d778b91cb579dc177eedaff4ba69bba33f.zip | |
distinguish recursion limit based overflow for diagnostics
also change the number of allowed fixpoint steps to be fixed instead of using the `log` of the total recursion depth.
Diffstat (limited to 'tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs')
| -rw-r--r-- | tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs b/tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs index fb668f83b01..1b80287d9da 100644 --- a/tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs +++ b/tests/ui/traits/next-solver/overflow/recursion-limit-zero-issue-115351.rs @@ -1,12 +1,7 @@ -//~ ERROR overflow evaluating the requirement `Self well-formed` -//~| ERROR overflow evaluating the requirement `Self: Trait` - // This is a non-regression test for issue #115351, where a recursion limit of 0 caused an ICE. //@ compile-flags: -Znext-solver --crate-type=lib -//@ check-fail +//@ check-pass #![recursion_limit = "0"] trait Trait {} impl Trait for u32 {} -//~^ ERROR overflow evaluating the requirement `u32: Trait` -//~| ERROR overflow evaluating the requirement `u32 well-formed` |