Skip to content

NLL Diagnostic Review 3: missing borrow error justifications for unions #57100

Closed
@davidtwco

Description

@davidtwco

For the ui/borrowck/borrowck-union-borrow.ast.nll.stderr test, the AST borrow checker indicates that the borrow of u.b is causing the borrow of the union u itself, thus justifying the complaint about the borrow of u.a.

However, the NLL borrow checker just says that u.b is already borrowed, which is less clear when its pointing at a borrow of u.a.

Metadata

Metadata

Assignees

Labels

A-NLLArea: Non-lexical lifetimes (NLL)NLL-diagnosticsWorking towards the "diagnostic parity" goalP-lowLow priority

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions