1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
//@ check-pass // Used to overflow in `is_normalizable` use std::marker::PhantomData; struct Node<T: 'static> { m: PhantomData<&'static T>, } struct Digit<T> { elem: T, } enum FingerTree<T: 'static> { Single(T), Deep(Digit<T>, Box<FingerTree<Node<T>>>), } fn main() {}