TypeIndex TypeTableBuilder::writeKnownType(const UdtSourceLineRecord &Record) { TypeRecordBuilder Builder(Record.getKind()); Builder.writeTypeIndex(Record.getUDT()); Builder.writeTypeIndex(Record.getSourceFile()); Builder.writeUInt32(Record.getLineNumber()); return writeRecord(Builder); }