diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-02-20 20:17:14 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-02-20 20:17:14 +0000 |
| commit | 62bc753f8b1957699288ceea90a4096667bf0ebc (patch) | |
| tree | 3e21520683ad2fce54368614ff7e6b8b5ea62642 /crates/hir_ty/src/diagnostics/decl_check | |
| parent | d0a787152d9f226707168f65ebfb215e23cedeed (diff) | |
| parent | 0799288f0189c07907a30787e7d2f5f0bf960996 (diff) | |
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 https://github.com/Veykril/rust-analyzer/commit/b9d69048451a5f2e9c5a72c800369bbeef36fdcf) 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 <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/diagnostics/decl_check')
0 files changed, 0 insertions, 0 deletions