We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b0e0dcf commit b6c799aCopy full SHA for b6c799a
pikelet/src/pass/core_to_surface.rs
@@ -1,5 +1,7 @@
1
//! Distill the core language into the surface language.
2
3
+#![allow(clippy::reversed_empty_ranges)]
4
+
5
use std::collections::HashMap;
6
7
use crate::lang::core::{Constant, Globals, Locals, Term, UniverseLevel, UniverseOffset};
0 commit comments