done.

flux-rs · Nov 2, 2023 · bea972d · bea972d
1 parent e518f0f
commit bea972d
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/flux-fhir-analysis/src/wf/mod.rs b/crates/flux-fhir-analysis/src/wf/mod.rs
@@ -417,7 +417,7 @@ impl<'a, 'tcx> Wf<'a, 'tcx> {
                 if let fhir::GenericArg::Type(ty) = arg {
                     self.check_ty_is_base(ty)?;
                 } else {
-                    bug!("expected type argument got `{arg:?}`")
+                    bug!("expected type argument got `{arg:?}`");
                 }
             }
         }
@@ -498,7 +498,7 @@ impl<'a, 'tcx> Wf<'a, 'tcx> {
         }
         let snapshot = self.xi.snapshot();
 
-        if let fhir::Res::Def(_kind, did) = &path.res /*&& !matches!(_kind, DefKind::TyParam) */ && path.args.len() > 0 {
+        if let fhir::Res::Def(_kind, did) = &path.res /*&& !matches!(_kind, DefKind::TyParam) */ && !path.args.is_empty() {
             self.check_generic_args(infcx, *did, &path.args)?;
         }
         let bindings = self.check_type_bindings(infcx, &path.bindings);