Richard SmithandJon Ross-Perkins 6410d6e140 Add support for deduction of most kinds of type constant. (#4389) ...

This adds deduction in all the cases where we can match the instruction
fields of the parameter against the corresponding instruction fields of
the argument. This handles all current type constants except for struct
types, for which we would want to match by field name.

---------

Co-authored-by: Jon Ross-Perkins <jperkins@google.com>

2024-10-09 00:42:53 +00:00

..

builtin

Assign a name to interface_type instructions. (#4369)

2024-10-04 23:06:24 +00:00

call

Assign a name to interface_type instructions. (#4369)

2024-10-04 23:06:24 +00:00

declaration

Initial support for binding patterns in SemIR (#4221)

2024-09-25 19:12:58 +00:00

definition

Handle runtime implicit parameters, and self outside of methods (#4361)

2024-10-03 20:24:28 +00:00

generic

Add support for deduction of most kinds of type constant. (#4389)

2024-10-09 00:42:53 +00:00