v0.7.1

Features

• ext-abi: To joins the built-in trait names an extension may advertise
• lang: impl To<Target> for Source, the conversion declared on the source

Fixes

• types: Equatable overloads no operator
• check: a conversion produces its target, and nothing else

Documentation

• errors: link the To section by the anchor the site generates
• ext-abi: give 27 a changelog entry in the shape the gate reads
• errors: a conversion produces its target, and cannot fail
• traits: To in the trait table, and the claims it made incomplete
• errors: converting into a type you do not own

Refactoring

• check: one conversion registry, keyed by the relation it declares
• types: one row per built-in trait, spelling only what is unusual

Housekeeping

• release: bump workspace version to 0.7.1
• types: census rows carry field names, not nine positions
• types: pin every column of the built-in trait table, and force a new trait into it
• check: keep the conversion helper clear of the allow it displaced
• conversion: the To corpus — both call paths, the conflict, the signature rule

Other

• close To<Target> and the built-in-trait seam, file the column gate
• para/db swallows the cause of a failed connection
• To<Target>, and the built-in-trait seam to settle first

Full changelog: v0.7.0...v0.7.1