hir_ty::next_solver

Module mapping

Source
Expand description

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