Dana Jansens ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 mesi fa
..
builtin ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 mesi fa
call 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 mesi fa
declaration 0811d996e1 Finish renaming BindName and related insts. (#6281) 6 mesi fa
definition 1ece5000aa Always form a `ConstType` instruction for `const`. (#6341) 5 mesi fa
generic ff0cea55f6 Add require decls to Interface and NamedConstraint (#6321) 5 mesi fa