Richard Smith 568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368) 1 年之前
..
no_prelude 49e0c186fc Add comma between the arguments to the `bind_symbolic_name` instruction (#4358) 1 年之前
constraints.carbon 568ad197d1 Track the instruction used to name the type and constraint in an impl. (#4368) 1 年之前