{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"if"}]}
                if !self.mir_assign_valid_types(unwrapped_ty, binder_inner_ty) {
                let binder_inner_ty = self.tcx.instantiate_bound_regions_with_erased(*binder_ty);
                    self.fail(