done.

README.md

@@ -15,4 +15,4 @@ For an overview, take a look at the [`flux` website](https://flux-rs.github.io).
 # Docs
 
 Documentation, including installation and usage guides can be found on the
-[website](https://flux-rs.github.io/flux).
+[website](https://flux-rs.github.io/flux).

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 {

crates/flux-fhir-analysis/src/wf/sortck.rs

@@ -208,7 +208,6 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
             }
             fhir::ExprKind::Dot(var, fld) => {
                 let sort = self[var.name].clone();
-                // println!("TRACE: synth_expr {:?} ==> {sort:?}", var.source_info.name);
                 match &sort {
                     fhir::Sort::Record(def_id, sort_args) => {
                         self.genv

crates/flux-middle/src/fhir.rs

@@ -656,6 +656,7 @@ impl BaseTy {
             BaseTyKind::Path(QPath::Resolved(_, Path { res: Res::PrimTy(PrimTy::Bool), .. }))
         )
     }
+
     pub fn as_path(&self) -> Option<&Path> {
         match &self.kind {
             BaseTyKind::Path(QPath::Resolved(None, path)) => Some(path),