Type-limits error in GC environment initialization