Module rustc_middle::mir::binding_form_impl