bors 8f96ef4bb5 Auto merge of #94911 - jackh726:gats_extended_2, r=compiler-errors ...

Make GATs object safe under generic_associated_types_extended feature

Based on #94869

Let's say we have
```rust
trait StreamingIterator {
    type Item<'a> where Self: 'a;
}
```
And `dyn for<'a> StreamingIterator<Item<'a> = &'a i32>`.

If we ask `(dyn for<'a> StreamingIterator<Item<'a> = &'a i32>): StreamingIterator`, then we have to prove that `for<'x> (&'x i32): Sized`. So, we generate *new* bound vars to subst for the GAT generics.

Importantly, this doesn't fully verify that these are usable and sound.

r? `@nikomatsakis`

2022-04-02 18:34:26 +00:00

..

src

Auto merge of #94911 - jackh726:gats_extended_2, r=compiler-errors

2022-04-02 18:34:26 +00:00

Cargo.toml

Rollup merge of #89461 - crlf0710:dyn_upcasting_lint, r=nikomatsakis

2021-10-07 16:24:49 +02:00