charon_lib::transform

Module lift_associated_item_clauses

source
Expand description

Move clauses on associated types to be parent clauses. The distinction is not semantically meaningful. We should ideally to this directly when translating but this is currently difficult; instead we do this as a post-processing pass.

Structsยง