--- /dev/null
+// run-pass
+#![allow(dead_code)]
+
+// Making sure that no overflow occurs.
+
+struct L<T> {
+ n: Option<T>,
+}
+type L8<T> = L<L<L<L<L<L<L<L<T>>>>>>>>;
+type L64<T> = L8<L8<L8<L8<T>>>>;
+
+fn main() {
+ use std::mem::size_of;
+ assert_eq!(size_of::<L64<L64<()>>>(), 1);
+ assert_eq!(size_of::<L<L64<L64<()>>>>(), 1);
+}