Can't pass GAT as FnOnce argument (interaction between GATs and HRTBs?) #85921
Labels
A-associated-items
Area: Associated items (types, constants & functions)
A-closures
Area: Closures (`|…| { … }`)
A-GATs
Area: Generic associated types (GATs)
C-bug
Category: This is a bug.
E-needs-test
Call for participation: An issue has been fixed and does not reproduce, but no test has been added.
F-generic_associated_types
`#![feature(generic_associated_types)]` a.k.a. GATs
GATs-triaged
Issues using the `generic_associated_types` feature that have been triaged
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
This code [playground]
produces these errors:
in 1.54.0-nightly (2021-05-27 1c6868a)
Note that you get one of these errors even if you allow Rust to infer the type by producing a value from thin air, implying that the compiler first infers that
Assoc<'_>
isi32
, then complains thatAssoc<'_>
andi32
are different.The text was updated successfully, but these errors were encountered: