Dana Jansens 51498547c9 Always use `LookupImplWitness` instructions for symbolic witnesses (#5321) há 1 ano atrás
..
no_prelude 4acc9cac5d Replace GetInstForSpecific with direct support for rendering a SpecificId in diagnostics. (#5192) há 1 ano atrás
compile_time_bindings.carbon 51498547c9 Always use `LookupImplWitness` instructions for symbolic witnesses (#5321) há 1 ano atrás
convert.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) há 1 ano atrás
fail_duplicate_decl.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) há 1 ano atrás
fail_generic.carbon ca8df34d0d Format the call parameters of a function, not the patterns. (#5342) há 1 ano atrás
fail_generic_import.carbon c6d35e1c4a Rename template constant -> concrete constant. (#4939) há 1 ano atrás
fail_missing_value.carbon d07f70cfb3 Add insts for witness table entries that are unset or associated constants (#5255) há 1 ano atrás
fail_modifiers.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) há 1 ano atrás
fail_use_in_init.carbon c6d35e1c4a Rename template constant -> concrete constant. (#4939) há 1 ano atrás
generic.carbon bba32900c3 Preserve type sugar in ArrayType, ConstType, and PointerType. (#5235) há 1 ano atrás
generic_import.carbon 0d2f364f39 Split evaluation up into one function per instruction kind (#5008) há 1 ano atrás
global.carbon 0e8d354567 Split the witness table into a separate ImplWitnessTable instruction (#5272) há 1 ano atrás
local.carbon ca8df34d0d Format the call parameters of a function, not the patterns. (#5342) há 1 ano atrás
shadowed_decl.carbon ca8df34d0d Format the call parameters of a function, not the patterns. (#5342) há 1 ano atrás