Skip to content

Commit

Permalink
Update crates/flux-desugar/src/sort_resolver.rs
Browse files Browse the repository at this point in the history 
Co-authored-by: Nico Lehmann <[email protected]>
  • Loading branch information
@ranjitjhala @nilehmann
ranjitjhala and nilehmann authored Jan 3, 2024
1 parent cd7dd7f commit 07df896
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crates/flux-desugar/src/sort_resolver.rs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

Check failure on line 127 in crates/flux-desugar/src/sort_resolver.rs

View workflow job for this annotation

GitHub Actions / clippy

failed to resolve: use of undeclared crate or module `kw` 

error[E0433]: failed to resolve: use of undeclared crate or module `kw`
   --> crates/flux-desugar/src/sort_resolver.rs:127:30
    |
127 |             && ident.name == kw::SelfUpper
    |                              ^^ use of undeclared crate or module `kw`
    |
help: consider importing this module
    |
1   + use rustc_span::symbol::kw;
    |
{
Ok(fhir::Sort::SelfParam(def_id))
} else if let Some(def_id) = self.generic_params.get(&ident.name) {
Expand Down

0 comments on commit 07df896

Please sign in to comment.