}
}
public static SpliceType spliceType(ParseBuffer inpType) {
try {
Type res = (Type)new TypeParser().parse(new StringReader(inpType.getSrcString()), "inner type");
return new SpliceType(res);
} catch (IOException | CopperParserException e) {
throw new RuntimeException(e);
}
}