public boolean isEmpty() {
		return mangled.length() <= pos;
	}
Returns if the end of the mangled string has been reached
@return if the end has been reached
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/rust/demangler/RustDemanglerV0.java