Stringify specifics of named constraints (#6444)

This commit is contained in:
Dana Jansens
2025-12-02 19:31:13 +00:00
committed by GitHub
parent 73e6994d44
commit e32190a228
2 changed files with 8 additions and 2 deletions
+6
View File
@@ -827,6 +827,12 @@ auto StringifySpecific(const File& sem_ir, SpecificId specific_id)
sem_ir.interfaces().Get(interface_decl.interface_id), specific_id);
break;
}
case CARBON_KIND(NamedConstraintDecl constraint_decl): {
step_stack.PushEntityName(
sem_ir.named_constraints().Get(constraint_decl.named_constraint_id),
specific_id);
break;
}
case CARBON_KIND(RequireImplsDecl _): {
step_stack.Push("require");
break;