Reporting Region Errors

src/borrow_check/region_inference/error_reporting.md

fe48535352739cb75d51af70363936ecc17e83ddaff774e0000000030000006e

# Reporting region errors

TODO: we should discuss how to generate errors from the results of these analyses.

Chunks

a6f975c4 (1st chunk of `src/borrow_check/region_inference/error_reporting.md`)

Title: Reporting Region Errors

Summary

This section discusses the need to define a strategy for reporting errors detected by the region analysis.