Add better diagnostics for uses constraint violations.
9 files changed