diff options
| author | lcnr <rust@lcnr.de> | 2024-01-26 15:26:03 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2024-01-26 15:54:57 +0100 |
| commit | a39a2f73d6eb912902ca62d160b158e8907b6622 (patch) | |
| tree | 719b85d0863cdac3a29d3dae095d6475140f6b1a /tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs | |
| parent | 1fc46f3a8f12622c077f533da9e6dc3c227bbbb2 (diff) | |
| download | rust-a39a2f73d6eb912902ca62d160b158e8907b6622.tar.gz rust-a39a2f73d6eb912902ca62d160b158e8907b6622.zip | |
next-solver: normalize in `LoweredTy::from_raw`
Diffstat (limited to 'tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs')
| -rw-r--r-- | tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs b/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs index 809a6a59ca6..32672c08c7e 100644 --- a/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs +++ b/tests/ui/traits/next-solver/overflow/recursive-self-normalization.rs @@ -12,6 +12,7 @@ fn test<T: Foo<Assoc = <T as Foo>::Assoc>>() { //~^ ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` + //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc == _` //~| ERROR overflow evaluating the requirement `<T as Foo>::Assoc: Bar` } |