pub trait Span<I>: Copy + Debug + Hash + Eq + TypeFoldable<I>where I: Interner,{ // Required method fn dummy() -> Self; }