Cannot impl Drop for a generic type with a Higher-Rank Trait Bound #27863
Labels
A-destructors
Area: destructors (Drop, ..)
A-traits
Area: Trait system
A-typesystem
Area: The type system
C-bug
Category: This is a bug.
T-compiler
Relevant to the compiler team, which will review and decide on the PR/issue.
If I try to compile this program:
I get this clearly bogus error message:
I tried fiddling with it to get it to typecheck, but nothing worked.
The text was updated successfully, but these errors were encountered: