Richard Smith 2044366652 Support initialization of specific classes from struct literals (#4320) ...

Add support for initializing types like `GenericClass(i32)` from a
struct literal. A new kind of instruction, `complete_type_witness`, is
added to the class definition to track the object representation type so
that it's visible to the generics machinery. Accesses to the object
representation of a class have all been updated to pass in the class's
`SpecificId` so that the types of the fields of the specific class are
used instead of the types of the fields of the generic class in places
that look at the object representation -- primarily class
initialization.

2024-09-19 19:18:32 +00:00

..

no_prelude

Support initialization of specific classes from struct literals (#4320)

2024-09-19 19:18:32 +00:00

assoc_const.carbon

Use As and ImplicitAs interfaces for conversions. (#4209)

2024-09-05 23:39:58 +00:00

fail_assoc_const_bad_default.carbon

Rework how we check calls to support deduced implicit parameters (#4302)

2024-09-13 21:31:43 +00:00

fail_todo_assoc_const_default.carbon

Use As and ImplicitAs interfaces for conversions. (#4209)

2024-09-05 23:39:58 +00:00

fail_todo_define_default_fn_inline.carbon

Rework how we check calls to support deduced implicit parameters (#4302)

2024-09-13 21:31:43 +00:00

fail_todo_define_default_fn_out_of_line.carbon

Support initialization of specific classes from struct literals (#4320)

2024-09-19 19:18:32 +00:00

todo_define_not_default.carbon

Rework how we check calls to support deduced implicit parameters (#4302)

2024-09-13 21:31:43 +00:00