Update crates/flux-fhir-analysis/src/conv.rs

Co-authored-by: Nico Lehmann <[email protected]>
flux-rs · Nov 2, 2023 · 509ef55 · 509ef55
1 parent 104fd50
commit 509ef55
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/crates/flux-fhir-analysis/src/conv.rs b/crates/flux-fhir-analysis/src/conv.rs
@@ -637,9 +637,6 @@ impl<'a, 'tcx> ConvCtxt<'a, 'tcx> {
 
     fn conv_base_ty(&self, env: &mut Env, bty: &fhir::BaseTy) -> QueryResult<rty::Ty> {
         let sort = self.genv.sort_of_bty(bty);
-        // if sort.is_none() {
-        //     println!("TRACE: conv_base_ty {bty:?} ==> None");
-        // }
 
         if let fhir::BaseTyKind::Path(fhir::QPath::Resolved(self_ty, path)) = &bty.kind {
             if let fhir::Res::Def(DefKind::AssocTy, def_id) = path.res {