cargo feature internal_use_frontend_linted

Author: peter-lyons-kehl

Cargo.toml

@@ -22,3 +22,9 @@ homepage = "https://github.com/prudent-rs/prudent"
 
 [lints.rust]
 unexpected_cfgs = { level = "forbid"}
+
+[features]
+# NOT for any builds (not even for debugging). Only for "activating" src/frontend_linted.rs in your
+# rust-analyzer/IDE, so you get better editing.
+internal_use_frontend_linted = []
+#default = ["internal_use_frontend_linted"]

src/frontend_linted.rs

@@ -12,6 +12,7 @@
 #[allow(unused)]
 pub const PRUDENT_INTERNAL_LINTED_VERSION: &str = "0.0.3-beta";
 
+#[cfg(not(feature = "internal_use_frontend_linted"))]
 const _VERIFY_MODULE_PATH: () = {
     let path = core::module_path!().as_bytes();
     if matches!(

src/lib.rs

@@ -122,9 +122,16 @@ macro_rules! internal_coverage_positive {
 
 pub mod backend;
 
+#[cfg(feature = "internal_use_frontend_linted")]
+compile_error!("Use feature internal_use_frontend_linted only for easier editing.");
+
 /// Frontend macros.
+#[cfg(not(feature = "internal_use_frontend_linted"))]
 #[path = "frontend_unlinted.rs"]
 mod frontend_untested;
+#[cfg(feature = "internal_use_frontend_linted")]
+#[path = "frontend_linted.rs"]
+mod frontend_untested;
 
 #[path = "frontend_with_compile_fail_tests.rs"]
 #[doc(hidden)]