diff --git a/crates/flux-syntax/src/lib.rs b/crates/flux-syntax/src/lib.rs
index 98805e3f1b..67c8709637 100644
--- a/crates/flux-syntax/src/lib.rs
+++ b/crates/flux-syntax/src/lib.rs
@@ -1,4 +1,4 @@
-#![feature(rustc_private)]
+#![feature(rustc_private, box_patterns)]
 
 extern crate rustc_ast;
 extern crate rustc_span;
diff --git a/crates/flux-syntax/src/surface.rs b/crates/flux-syntax/src/surface.rs
index 9b1c440a80..b5e4529b40 100644
--- a/crates/flux-syntax/src/surface.rs
+++ b/crates/flux-syntax/src/surface.rs
@@ -1,3 +1,5 @@
+pub mod visit;
+
 use std::fmt;
 
 pub use rustc_ast::{