From 07df8965a150e4675e5fca949e22a47780a872a2 Mon Sep 17 00:00:00 2001
From: Ranjit Jhala <rjhala@ucsd.edu>
Date: Tue, 2 Jan 2024 16:59:00 -0800
Subject: [PATCH] Update crates/flux-desugar/src/sort_resolver.rs

Co-authored-by: Nico Lehmann <nico.lehmannm@gmail.com>
---
 crates/flux-desugar/src/sort_resolver.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/flux-desugar/src/sort_resolver.rs b/crates/flux-desugar/src/sort_resolver.rs
index b770143d8d..39b62f86c5 100644
--- a/crates/flux-desugar/src/sort_resolver.rs
+++ b/crates/flux-desugar/src/sort_resolver.rs
@@ -124,7 +124,7 @@ impl<'a> SortResolver<'a> {
         } else if ident.name == SORTS.real {
             Ok(fhir::Sort::Real)
         } else if let Some(def_id) = self.parent_id
-            && ident.name == SelfUpper
+            && ident.name == kw::SelfUpper
         {
             Ok(fhir::Sort::SelfParam(def_id))
         } else if let Some(def_id) = self.generic_params.get(&ident.name) {