Repository navigation
Intervening type alias of GAT to causes incorrect E0581 #85533
Description
This code [playground]:
#![feature(generic_associated_types)]
trait Trait {
type Assoc<'a>;
}
type AssocAlias<'a, T> = <T as Trait>::Assoc<'a>;
fn works<'a, T: Trait>(entity: T::Assoc<'a>) -> &'a i32 {&5}
fn fails<'a, T: Trait>(entity: AssocAlias<'a, T>) -> &'a i32 {&5}Produces the following error on 1.54.0-nightly (2021-05-19 f94942d):
error[E0581]: return type references lifetime `'a`, which is not constrained by the fn input types
--> src/lib.rs:10:54
|
10 | fn fails<'a, T: Trait>(entity: AssocAlias<'a, T>) -> &'a i32 {&5}
|
The version that uses T::Assoc directly works, but the one using the type alias (which should be identical) fails.
Activity
jackh726 commentedon Jul 21, 2021
This is a variation of #47511 and it isn't a GAT issue.
Essentially, the issue is that because of the way we assign a lifetime as late-bound or early-bound, we end up assigning
'aas early bound in the first and late bound in the second. Then later once the type alias is expanded, we see that it's not actually constrained (where that requirement isn't there for early bound regions).Although it's kind of not great, there are a couple workarounds:
Not going to remove the GAT label here (since I think this is an important consideration), but this is non-blocking for stabilization.
jackh726 commentedon Oct 16, 2021
GATs issue triage: not blocking. As mentioned previously, this is caused by us treating regions in type alias substs as constrained, but not in projections - leading to one function assigning a region as early-bound and the other as late-bound. Not a GATs issue, but keeping label for now, since we probably want to think about this diagnostics-wise at least at some point.
Auto merge of rust-lang#96709 - jackh726:gats-stabilization, r=compil…
Rollup merge of rust-lang#100508 - BoxyUwU:make_less_things_late_boun…
Rollup merge of rust-lang#100508 - BoxyUwU:make_less_things_late_boun…
Rollup merge of rust-lang#100508 - BoxyUwU:make_less_things_late_boun…
Auto merge of rust-lang#96709 - jackh726:gats-stabilization, r=compil…