Merge #7732
7732: Don't lower TypeBound::Lifetime as GenericPredicate::Error r=flodiebold a=Veykril
Basically we just discard the typebound for now instead when lowering to `GenericPredicate`. I think this shouldn't have any other side effects?
Fixes #7683(hopefully for real this time)
I also played around with introducing `GenericPredicate::LifetimeOutlives` and `GenericPredicate::TypeOutlives`(see b9d6904845) but that won't fix this issue(at least not for now) due to lifetime predicate mismatches when resolving methods so I figure this is a good way to fix it for now.
Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
This commit is contained in:
@@ -3417,7 +3417,7 @@ impl<T> Foo<T$0> {}
|
||||
```
|
||||
"#]],
|
||||
);
|
||||
// lifetimes aren't being substituted yet
|
||||
// lifetimes bounds arent being tracked yet
|
||||
check(
|
||||
r#"
|
||||
struct Foo<T>(T);
|
||||
@@ -3427,7 +3427,7 @@ impl<T: 'static> Foo<T$0> {}
|
||||
*T*
|
||||
|
||||
```rust
|
||||
T: {error}
|
||||
T
|
||||
```
|
||||
"#]],
|
||||
);
|
||||
|
||||
Reference in New Issue
Block a user