fn write_qual_name<W: Write>(writer: &mut W, name: &QualName) -> Result<()>