Richard Smith 0a6321f492 Include the arguments for a generic class or interface in diagnostics. (#4511) 1 год назад
..
no_prelude 4f474fafb5 Remove some single-interface restrictions from some uses of facet types (#4508) 1 год назад
assoc_const.carbon a69c2630f9 Replace `InterfaceType` with `FacetType` (#4499) 1 год назад
fail_assoc_const_bad_default.carbon 0a6321f492 Include the arguments for a generic class or interface in diagnostics. (#4511) 1 год назад
fail_todo_assoc_const_default.carbon a69c2630f9 Replace `InterfaceType` with `FacetType` (#4499) 1 год назад
fail_todo_define_default_fn_inline.carbon a69c2630f9 Replace `InterfaceType` with `FacetType` (#4499) 1 год назад
fail_todo_define_default_fn_out_of_line.carbon a69c2630f9 Replace `InterfaceType` with `FacetType` (#4499) 1 год назад
todo_define_not_default.carbon a69c2630f9 Replace `InterfaceType` with `FacetType` (#4499) 1 год назад