public boolean stripPrefix(char c) {
		if (c == nextChar()) {
			popChar();
			return true;
		}

		return false;
	}
Strips the first char of the mangled string if it's equal to the argument
@param c the char to strip
@return if the strip succeeded
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/rust/demangler/RustDemanglerV0.java