The class is available in https://github.com/Rust-GCC/gccrs/blob/master/gcc/rust/util/rust-stacked-contexts.h

You can include the header and remove the block_stack member of the TypeCheckContext class, and replace it with a StackedContexts member instead. You should also remove the associated methods for popping and pushing to the old context.