Function write_where_clause 

fn write_where_clause<'db>(
    def: GenericDefId,
    f: &mut HirFormatter<'_, 'db>,
) -> Result<bool>