Fix typeck::infer::can_mk_assignty #2593
Labels
A-type-system
Area: Type system
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
Milestone
A FIXME says: "FIXME---this will not unroll any entries we make in the
borrowings table. But this is OK for the moment because this
is only used in method lookup, and there must be exactly one
match or an error is reported. Still, it should be fixed."
The text was updated successfully, but these errors were encountered: