Update crates/flux-desugar/src/desugar.rs

Co-authored-by: Nico Lehmann <nico.lehmannm@gmail.com>
flux-rs · Dec 16, 2024 · c844c03 · c844c03
1 parent 47aeec1
commit c844c03
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crates/flux-desugar/src/desugar.rs b/crates/flux-desugar/src/desugar.rs
@@ -503,6 +503,7 @@ impl<'a, 'genv, 'tcx: 'genv> RustItemCtxt<'a, 'genv, 'tcx> {
         let generics = self.as_lift_cx().lift_generics()?;
         Ok(fhir::TraitItem { owner_id, generics, kind: fhir::TraitItemKind::Const })
     }
+
     pub(crate) fn desugar_fn_spec(
         &mut self,
         fn_spec: &surface::FnSpec,