Files
rust/tests/ui
bors 4d7f952a02 Auto merge of #112422 - aliemjay:implied-bounds-placeholders, r=lcnr
ignore implied bounds with placeholders

given the following code:
```rust
trait Trait {
    type Ty<'a> where Self: 'a;
}

impl<T> Trait for T {
    type Ty<'a> = () where Self: 'a;
}

struct Foo<T: Trait>(T)
where
    for<'x> T::Ty<'x>: Sized;
```

when computing the implied bounds from `Foo<X>` we incorrectly get the bound `X: !x` from the normalization of ` for<'x> <X as Trait>::Ty::<'x>: Sized`. This is a a known bug! we shouldn't use the constraints that arise from normalization as implied bounds. See #109628.

Ignore these bounds for now. This should prevent later ICEs.

Fixes #112250
Fixes #107409
2023-11-17 12:16:53 +00:00
..
2023-11-04 11:22:17 +01:00
2023-10-17 17:33:55 +00:00
2023-10-30 22:19:17 +00:00
2023-10-30 22:19:17 +00:00
2023-10-24 15:30:17 +00:00
2023-11-13 16:25:16 -08:00
2023-10-08 10:06:17 +00:00
2023-10-05 01:04:41 +00:00
2023-10-04 08:01:11 +08:00
2023-10-08 10:06:17 +00:00
2023-05-30 13:03:40 +02:00
2023-11-13 14:13:54 +00:00
2023-10-04 08:01:11 +08:00
2023-11-09 10:40:55 -05:00
2023-07-17 22:06:32 +00:00
2023-10-20 21:14:01 +00:00
2023-09-06 12:09:29 +03:00
2023-11-02 18:16:37 +01:00
2023-10-20 21:14:01 +00:00
2023-10-08 10:06:17 +00:00
2023-08-28 17:47:37 -03:00
2023-11-14 13:41:28 +00:00
2023-11-03 13:16:47 +00:00
2023-10-20 21:14:01 +00:00
2023-07-29 11:47:26 +02:00
2023-10-11 04:55:55 +02:00
2023-10-20 21:14:01 +00:00
2023-11-07 05:23:09 +00:00
2023-08-14 16:57:51 -07:00
2023-10-02 23:14:29 +00:00
2023-09-18 17:29:13 +01:00
2023-10-20 21:14:01 +00:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-10-20 21:14:01 +00:00