fn display_constraint_name<'a>(name: &'a Option<Ident>) -> impl AstDisplay + 'a