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