Richard SmithandJon Ross-Perkins 0e053703f8 Build Impl entity to represent an impl declaration. (#3683) ...

Collect the contents of an `impl` into a scope, and start doing very
basic checking for `impl` declarations and definitions.

This change adds two new `Id` types to the set of type that `NodeStack`
supports -- `ImplId` and `NameScopeId`.

---------

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

2024-02-06 18:49:21 +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_undefined_interface.carbon

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

2024-02-06 18:49:21 +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