{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"self.eq_types(user_ty,"}]}
            self.eq_types(user_ty, mir_ty, Locations::All(span), ConstraintCategory::Boring)
        if let ty::Infer(_) = user_ty.kind() {
                .unwrap();