{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":".unwrap();"}]}
                .unwrap();
            self.eq_types(user_ty, mir_ty, Locations::All(span), ConstraintCategory::Boring)
            return;