Module mapping

Things useful for mapping to/from Chalk and next-trait-solver types.

Traits

ChalkToNextSolver

Functions

convert_args_for_result

convert_binder_to_early_binder

convert_canonical_args_for_result

convert_const_for_result

convert_region_for_result