diff options
| author | lcnr <rust@lcnr.de> | 2025-01-20 16:42:50 +0100 |
|---|---|---|
| committer | JJ_EMPTY_STRING <JJ_EMPTY_STRING> | 2025-01-30 11:56:29 +0100 |
| commit | 8c078fde36b8b7d6757ff2bea271ecb2a85cf2eb (patch) | |
| tree | be943226f2ee8252a9ab7a4235a45e4d7cf892cc | |
| parent | fef480f4b890ae50dc818036fc0900238e5339b2 (diff) | |
| download | rust-8c078fde36b8b7d6757ff2bea271ecb2a85cf2eb.tar.gz rust-8c078fde36b8b7d6757ff2bea271ecb2a85cf2eb.zip | |
merge tests
| -rw-r--r-- | tests/ui/traits/solver-cycles/129541-recursive-struct-and-array-impl.rs | 23 | ||||
| -rw-r--r-- | tests/ui/traits/solver-cycles/129541-recursive-struct.rs | 5 |
2 files changed, 5 insertions, 23 deletions
diff --git a/tests/ui/traits/solver-cycles/129541-recursive-struct-and-array-impl.rs b/tests/ui/traits/solver-cycles/129541-recursive-struct-and-array-impl.rs deleted file mode 100644 index defb39aae06..00000000000 --- a/tests/ui/traits/solver-cycles/129541-recursive-struct-and-array-impl.rs +++ /dev/null @@ -1,23 +0,0 @@ -// Regression test for #129541 - -//@ check-pass - -trait Bound {} -trait Normalize { - type Assoc; -} - -impl<T: Bound> Normalize for T { - type Assoc = T; -} - -impl<T: Bound> Normalize for [T] { - type Assoc = T; -} - -impl Bound for Hello {} -struct Hello { - a: <[Hello] as Normalize>::Assoc, -} - -fn main() {} diff --git a/tests/ui/traits/solver-cycles/129541-recursive-struct.rs b/tests/ui/traits/solver-cycles/129541-recursive-struct.rs index d4339dd54d6..4fbcbefec91 100644 --- a/tests/ui/traits/solver-cycles/129541-recursive-struct.rs +++ b/tests/ui/traits/solver-cycles/129541-recursive-struct.rs @@ -1,5 +1,6 @@ // Regression test for #129541 +//@ revisions: unique multiple //@ check-pass trait Bound {} @@ -7,6 +8,10 @@ trait Normalize { type Assoc; } +#[cfg(multiple)] +impl<T: Bound> Normalize for T { + type Assoc = T; +} impl<T: Bound> Normalize for [T] { type Assoc = T; } |