Richard Smith 4d0c3811c9 Add a diagnostic for trying to extend an undefined interface. (#3689)

2024-02-06 22:31:49 +00:00

..

basic.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

declaration.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

empty.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

extend_impl.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_extend_impl_forall.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_extend_impl_scope.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_extend_non_interface.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_extend_partially_defined_interface.carbon

Add a diagnostic for trying to extend an undefined interface. (#3689)

2024-02-06 22:31:49 +00:00

fail_extend_undefined_interface.carbon

Add a diagnostic for trying to extend an undefined interface. (#3689)

2024-02-06 22:31:49 +00:00

fail_impl_as_scope.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_impl_bad_interface.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

fail_impl_bad_type.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

impl_as.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

impl_forall.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

todo_extend_impl_type_as.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00

todo_redefinition.carbon

Build Impl entity to represent an impl declaration. (#3683)

2024-02-06 18:49:21 +00:00